Search dblp for Publications

export results for "toc:db/journals/jsyml/jsyml31.bht:"

 download as .bib file

@article{DBLP:journals/jsyml/BrownW66,
  author       = {Kenneth R. Brown and
                  Hao Wang},
  title        = {Short Definitions of the Ordinals},
  journal      = {J. Symb. Log.},
  volume       = {31},
  number       = {3},
  pages        = {409--414},
  year         = {1966},
  url          = {https://doi.org/10.2307/2270457},
  doi          = {10.2307/2270457},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/BrownW66.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Bull66,
  author       = {R. A. Bull},
  title        = {{MIPC} as the Formalisation of an Intuitionist Concept of Modality},
  journal      = {J. Symb. Log.},
  volume       = {31},
  number       = {4},
  pages        = {609--616},
  year         = {1966},
  url          = {https://doi.org/10.2307/2269696},
  doi          = {10.2307/2269696},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Bull66.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Cannonito66,
  author       = {Frank B. Cannonito},
  title        = {Hierarchies of Computable Groups and the Word Problem},
  journal      = {J. Symb. Log.},
  volume       = {31},
  number       = {3},
  pages        = {376--392},
  year         = {1966},
  url          = {https://doi.org/10.2307/2270453},
  doi          = {10.2307/2270453},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Cannonito66.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Cresswell66,
  author       = {M. J. Cresswell},
  title        = {Functions of Propositions},
  journal      = {J. Symb. Log.},
  volume       = {31},
  number       = {4},
  pages        = {545--560},
  year         = {1966},
  url          = {https://doi.org/10.2307/2269689},
  doi          = {10.2307/2269689},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Cresswell66.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Crossley66,
  author       = {John N. Crossley},
  title        = {Meeting of the Association for Symbolic Logic},
  journal      = {J. Symb. Log.},
  volume       = {31},
  number       = {2},
  pages        = {290--302},
  year         = {1966},
  url          = {https://doi.org/10.2307/2269862},
  doi          = {10.2307/2269862},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Crossley66.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Crossley66a,
  author       = {John N. Crossley},
  title        = {Constructive Order Types, {II}},
  journal      = {J. Symb. Log.},
  volume       = {31},
  number       = {4},
  pages        = {525--538},
  year         = {1966},
  url          = {https://doi.org/10.2307/2269687},
  doi          = {10.2307/2269687},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Crossley66a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Davis66,
  author       = {Martin Davis},
  title        = {Meeting of the Association for Symbolic Logic},
  journal      = {J. Symb. Log.},
  volume       = {31},
  number       = {4},
  pages        = {697--706},
  year         = {1966},
  url          = {https://doi.org/10.2307/2269759},
  doi          = {10.2307/2269759},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Davis66.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/DrebenD66,
  author       = {Burton Dreben and
                  John Denton},
  title        = {A Supplement to Herbrand},
  journal      = {J. Symb. Log.},
  volume       = {31},
  number       = {3},
  pages        = {393--398},
  year         = {1966},
  url          = {https://doi.org/10.2307/2270454},
  doi          = {10.2307/2270454},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/DrebenD66.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/ElgotR66,
  author       = {Calvin C. Elgot and
                  Michael O. Rabin},
  title        = {Decidability and Undecidability of Extensions of Second (First) Order
                  Theory of (Generalized) Successor},
  journal      = {J. Symb. Log.},
  volume       = {31},
  number       = {2},
  pages        = {169--181},
  year         = {1966},
  url          = {https://doi.org/10.2307/2269808},
  doi          = {10.2307/2269808},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/ElgotR66.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Fraisse66,
  author       = {Roland Fraisse},
  title        = {Une Generalisation de L'Ultraproduit},
  journal      = {J. Symb. Log.},
  volume       = {31},
  number       = {2},
  pages        = {235--244},
  year         = {1966},
  url          = {https://doi.org/10.2307/2269812},
  doi          = {10.2307/2269812},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Fraisse66.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Gladstone66,
  author       = {M. D. Gladstone},
  title        = {Finite Models for Inequations},
  journal      = {J. Symb. Log.},
  volume       = {31},
  number       = {4},
  pages        = {581--592},
  year         = {1966},
  url          = {https://doi.org/10.2307/2269694},
  doi          = {10.2307/2269694},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Gladstone66.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Hanson66,
  author       = {William H. Hanson},
  title        = {On Formalizing the Distinction between Logical and Factual Truth},
  journal      = {J. Symb. Log.},
  volume       = {31},
  number       = {3},
  pages        = {460--477},
  year         = {1966},
  url          = {https://doi.org/10.2307/2270461},
  doi          = {10.2307/2270461},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Hanson66.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Hanson66a,
  author       = {William H. Hanson},
  title        = {On some Alleged Decision Procedures for {S4}},
  journal      = {J. Symb. Log.},
  volume       = {31},
  number       = {4},
  pages        = {641--643},
  year         = {1966},
  url          = {https://doi.org/10.1017/S0022481200126234},
  doi          = {10.1017/S0022481200126234},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Hanson66a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Hatcher66,
  author       = {William S. Hatcher},
  title        = {Logical Truth and Logical Implication},
  journal      = {J. Symb. Log.},
  volume       = {31},
  number       = {4},
  pages        = {561},
  year         = {1966},
  url          = {https://doi.org/10.2307/2269690},
  doi          = {10.2307/2269690},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Hatcher66.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Hooper66,
  author       = {Philip K. Hooper},
  title        = {The Undecidability of the Turing Machine Immortality Problem},
  journal      = {J. Symb. Log.},
  volume       = {31},
  number       = {2},
  pages        = {219--234},
  year         = {1966},
  url          = {https://doi.org/10.2307/2269811},
  doi          = {10.2307/2269811},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Hooper66.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/HowardK66,
  author       = {William A. Howard and
                  Georg Kreisel},
  title        = {Transfinite Induction and Bar Induction of Types Zero and One, and
                  the Role of Continuity in Intuitionistic Analysis},
  journal      = {J. Symb. Log.},
  volume       = {31},
  number       = {3},
  pages        = {325--358},
  year         = {1966},
  url          = {https://doi.org/10.2307/2270450},
  doi          = {10.2307/2270450},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/HowardK66.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Jaskowski66,
  author       = {Stanislaw Jaskowski},
  title        = {On Formulas in which no Individual Variable occurs more than Twice},
  journal      = {J. Symb. Log.},
  volume       = {31},
  number       = {1},
  pages        = {1--6},
  year         = {1966},
  url          = {https://doi.org/10.2307/2270615},
  doi          = {10.2307/2270615},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Jaskowski66.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Kino66,
  author       = {Akiko Kino},
  title        = {On Definability of Ordinals in Logic with Infinitely Long Expressions},
  journal      = {J. Symb. Log.},
  volume       = {31},
  number       = {3},
  pages        = {365--375},
  year         = {1966},
  url          = {https://doi.org/10.2307/2270452},
  doi          = {10.2307/2270452},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Kino66.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Lachlan66,
  author       = {Alistair H. Lachlan},
  title        = {On the Indexing of Classes of Recursively Enumerable Sets},
  journal      = {J. Symb. Log.},
  volume       = {31},
  number       = {1},
  pages        = {10--22},
  year         = {1966},
  url          = {https://doi.org/10.2307/2270617},
  doi          = {10.2307/2270617},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Lachlan66.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Lachlan66a,
  author       = {Alistair H. Lachlan},
  title        = {The Impossibility of finding Relative Complements for Recursively
                  Enumerable Degrees},
  journal      = {J. Symb. Log.},
  volume       = {31},
  number       = {3},
  pages        = {434--454},
  year         = {1966},
  url          = {https://doi.org/10.2307/2270459},
  doi          = {10.2307/2270459},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsyml/Lachlan66a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Lachlan66b,
  author       = {Alistair H. Lachlan},
  title        = {A Note on Universal Sets},
  journal      = {J. Symb. Log.},
  volume       = {31},
  number       = {4},
  pages        = {573--574},
  year         = {1966},
  url          = {https://doi.org/10.2307/2269692},
  doi          = {10.2307/2269692},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Lachlan66b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Lemmon66,
  author       = {E. J. Lemmon},
  title        = {Algebraic Semantics for Modal Logics {I}},
  journal      = {J. Symb. Log.},
  volume       = {31},
  number       = {1},
  pages        = {46--65},
  year         = {1966},
  url          = {https://doi.org/10.2307/2270619},
  doi          = {10.2307/2270619},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Lemmon66.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Lemmon66a,
  author       = {E. J. Lemmon},
  title        = {Algebraic Semantics for Modal Logics {II}},
  journal      = {J. Symb. Log.},
  volume       = {31},
  number       = {2},
  pages        = {191--218},
  year         = {1966},
  url          = {https://doi.org/10.2307/2269810},
  doi          = {10.2307/2269810},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Lemmon66a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Lob66,
  author       = {M. H. Lob},
  title        = {Extensional Interpretations of Modal Logics},
  journal      = {J. Symb. Log.},
  volume       = {31},
  number       = {1},
  pages        = {23--45},
  year         = {1966},
  url          = {https://doi.org/10.2307/2270618},
  doi          = {10.2307/2270618},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Lob66.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Makinson66,
  author       = {David Makinson},
  title        = {There are Infinitely many Diodorean Modal Functions},
  journal      = {J. Symb. Log.},
  volume       = {31},
  number       = {3},
  pages        = {406--408},
  year         = {1966},
  url          = {https://doi.org/10.2307/2270456},
  doi          = {10.2307/2270456},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Makinson66.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Martin66,
  author       = {Donald A. Martin},
  title        = {On a Question of G. E. Sacks},
  journal      = {J. Symb. Log.},
  volume       = {31},
  number       = {1},
  pages        = {66--69},
  year         = {1966},
  url          = {https://doi.org/10.2307/2270620},
  doi          = {10.2307/2270620},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Martin66.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Massey66,
  author       = {Gerald J. Massey},
  title        = {The Theory of Truth Tabular Connectives, both Truth Functional and
                  Modal},
  journal      = {J. Symb. Log.},
  volume       = {31},
  number       = {4},
  pages        = {593--608},
  year         = {1966},
  url          = {https://doi.org/10.2307/2269695},
  doi          = {10.2307/2269695},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Massey66.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/McCall66,
  author       = {Storrs McCall},
  title        = {Connexive Implication},
  journal      = {J. Symb. Log.},
  volume       = {31},
  number       = {3},
  pages        = {415--433},
  year         = {1966},
  url          = {https://doi.org/10.2307/2270458},
  doi          = {10.2307/2270458},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/McCall66.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/McCallM66,
  author       = {Storrs McCall and
                  Robert K. Meyer},
  title        = {Pure Three-Valued Lukasiewiczian Implication},
  journal      = {J. Symb. Log.},
  volume       = {31},
  number       = {3},
  pages        = {399--405},
  year         = {1966},
  url          = {https://doi.org/10.2307/2270455},
  doi          = {10.2307/2270455},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/McCallM66.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Meredith66,
  author       = {C. A. Meredith},
  title        = {Postulates for Implicational Calculi},
  journal      = {J. Symb. Log.},
  volume       = {31},
  number       = {1},
  pages        = {7--9},
  year         = {1966},
  url          = {https://doi.org/10.2307/2270616},
  doi          = {10.2307/2270616},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Meredith66.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Meyer66,
  author       = {Robert K. Meyer},
  title        = {Pure Denumerable Lukasiewiczian Implication},
  journal      = {J. Symb. Log.},
  volume       = {31},
  number       = {4},
  pages        = {575--580},
  year         = {1966},
  url          = {https://doi.org/10.2307/2269693},
  doi          = {10.2307/2269693},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Meyer66.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Mitchell66,
  author       = {R. Mitchell},
  title        = {A Generalisation of Productive Set},
  journal      = {J. Symb. Log.},
  volume       = {31},
  number       = {3},
  pages        = {455--459},
  year         = {1966},
  url          = {https://doi.org/10.2307/2270460},
  doi          = {10.2307/2270460},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Mitchell66.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/MorgenbesserM66,
  author       = {Sidney Morgenbesser and
                  Elliott Mendelson},
  title        = {Annual Meeting of the Association for Symbolic Logic},
  journal      = {J. Symb. Log.},
  volume       = {31},
  number       = {4},
  pages        = {682--696},
  year         = {1966},
  url          = {https://doi.org/10.2307/2269758},
  doi          = {10.2307/2269758},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/MorgenbesserM66.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Nelson66,
  author       = {David Nelson},
  title        = {Non-Null Implication},
  journal      = {J. Symb. Log.},
  volume       = {31},
  number       = {4},
  pages        = {562--572},
  year         = {1966},
  url          = {https://doi.org/10.2307/2269691},
  doi          = {10.2307/2269691},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Nelson66.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Paola66,
  author       = {Robert A. Di Paola},
  title        = {Pseudo-Complements and Ordinal Logics based on Consistency Statements},
  journal      = {J. Symb. Log.},
  volume       = {31},
  number       = {3},
  pages        = {359--364},
  year         = {1966},
  url          = {https://doi.org/10.2307/2270451},
  doi          = {10.2307/2270451},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Paola66.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Shoenfield66,
  author       = {Joseph R. Shoenfield},
  title        = {A Theorem on Minimal Degrees},
  journal      = {J. Symb. Log.},
  volume       = {31},
  number       = {4},
  pages        = {539--544},
  year         = {1966},
  url          = {https://doi.org/10.2307/2269688},
  doi          = {10.2307/2269688},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Shoenfield66.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Smullyan66,
  author       = {Raymond M. Smullyan},
  title        = {Trees and Nest Structures},
  journal      = {J. Symb. Log.},
  volume       = {31},
  number       = {3},
  pages        = {303--321},
  year         = {1966},
  url          = {https://doi.org/10.2307/2270448},
  doi          = {10.2307/2270448},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Smullyan66.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Smullyan66a,
  author       = {Raymond M. Smullyan},
  title        = {Finite Nest Structures and Propositional Logic},
  journal      = {J. Symb. Log.},
  volume       = {31},
  number       = {3},
  pages        = {322--324},
  year         = {1966},
  url          = {https://doi.org/10.2307/2270449},
  doi          = {10.2307/2270449},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Smullyan66a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Standley66,
  author       = {Gerald Standley},
  title        = {Testing Singly Quantified Tautologies},
  journal      = {J. Symb. Log.},
  volume       = {31},
  number       = {3},
  pages        = {478--480},
  year         = {1966},
  url          = {https://doi.org/10.2307/2270462},
  doi          = {10.2307/2270462},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Standley66.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Swanson66,
  author       = {J. W. Swanson},
  title        = {A Reduction Theorem for Normal Algorithms},
  journal      = {J. Symb. Log.},
  volume       = {31},
  number       = {1},
  pages        = {86--97},
  year         = {1966},
  url          = {https://doi.org/10.2307/2270622},
  doi          = {10.2307/2270622},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Swanson66.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Thatcher66,
  author       = {James W. Thatcher},
  title        = {Decision Problems for Multiple Successor Arithmetics},
  journal      = {J. Symb. Log.},
  volume       = {31},
  number       = {2},
  pages        = {182--190},
  year         = {1966},
  url          = {https://doi.org/10.2307/2269809},
  doi          = {10.2307/2269809},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Thatcher66.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Yasuhara66,
  author       = {Mitsuru Yasuhara},
  title        = {Syntactical and Semantical Properties of Generalized Quantifiers},
  journal      = {J. Symb. Log.},
  volume       = {31},
  number       = {4},
  pages        = {617--632},
  year         = {1966},
  url          = {https://doi.org/10.2307/2269697},
  doi          = {10.2307/2269697},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Yasuhara66.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Yasuhara66a,
  author       = {Mitsuru Yasuhara},
  title        = {An Axiomatic System for the First Order Language with an Equi-Cardinality
                  Quantifier},
  journal      = {J. Symb. Log.},
  volume       = {31},
  number       = {4},
  pages        = {633--640},
  year         = {1966},
  url          = {https://doi.org/10.2307/2269698},
  doi          = {10.2307/2269698},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Yasuhara66a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Yates66,
  author       = {C. E. M. Yates},
  title        = {A Minimal Pair of Recursively Enumerable Degrees},
  journal      = {J. Symb. Log.},
  volume       = {31},
  number       = {2},
  pages        = {159--168},
  year         = {1966},
  url          = {https://doi.org/10.2307/2269807},
  doi          = {10.2307/2269807},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsyml/Yates66.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Young66,
  author       = {Paul R. Young},
  title        = {Linear Orderings under One-One Reducibility},
  journal      = {J. Symb. Log.},
  volume       = {31},
  number       = {1},
  pages        = {70--85},
  year         = {1966},
  url          = {https://doi.org/10.2307/2270621},
  doi          = {10.2307/2270621},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Young66.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.