The Journal of Symbolic Logic, Volume 22

Volume 22, Number 1, March 1957

Leon Henkin: A Generalization of the Concept of omega-Completeness. 1-14 BibTeX
Ivo Thomas: Eulerian Syllogistic. 15-16 BibTeX
Robert Blanche: Sur La Structuration du Tableau Des Connectifs Interpropositionnels Binaires. 17-18 BibTeX
Theodore Hailperin: A Theory of Restricted Quantification I. 19-35 BibTeX
Andrzej Ehrenfeucht: Two Theories with Axioms Built by Means of Pleonasms. 36-38 BibTeX
Hilary Putnam: Decidability and Essential Undecidability. 39-54 BibTeX
Raymond M. Smullyan: Languages in Which Self Reference is Possible. 55-67 BibTeX
L. Gal: Twenty-First Annual Meeting of the Association for Symbolic Logic. 105-112 BibTeX

Theodore Hailperin: A Theory of Restricted Quantification II. 113-129 BibTeX
N. J. Fine, Ronald Harrop: Uniformization of Linear Arrays. 130-140 BibTeX
Kurt Bing: On the Axioms of Order and Succession. 141-144 BibTeX
Hao Wang: The Axiomatization of Arithmetic. 145-158 BibTeX
Richard Friedberg: A Criterion for Completeness of Degrees of Unsolvability. 159-160 BibTeX
Solomon Feferman: Degrees of Unsolvability Associated with Classes of Formalized Theories. 161-175 BibTeX
E. J. Lemmon: New Foundations for Lewis Modal Systems. 176-186 BibTeX
A. H. Lightstone, Abraham Robinson: On the Representation of Herbrand Functions in Algebraically Closed Fields. 187-204 BibTeX

L. Jonathan Cohen: Can the Logic of Indirect Discourse be Formalised? 225-232 BibTeX
Bernard K. Symonds, Roderick M. Chisholm: Inference by Complementary Elimination. 233-236 BibTeX
Henryk Hiz: Inferential Equivalence and Natural Deduction. 237-240 BibTeX
Alan Ross Anderson: Independent Axiom Schemata for Von Wright's M. 241-244 BibTeX
K. Jaakko, Jaakko Hintikka: Vicious Circle Principle and the Paradoxes. 245-249 BibTeX
William Craig: Linear Reasoning. A New Form of the Herbrand-Gentzen Theorem. 250-268 BibTeX
William Craig: Three Uses of the Herbrand-Gentzen Theorem in Relating Model Theory and Proof Theory. 269-285 BibTeX

Joyce Friedman: Some Results in Church's Restricted Recursive Arithmetic. 337-342 BibTeX
Frederic Brenton Fitch: A Definition of Existence in Terms of Abstraction and Disjunction. 343-344 BibTeX
Hugues Leblanc: On Logically False Evidence Statements. 345-349 BibTeX