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
Volume 22, Number 2, June 1957
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
Volume 22, Number 3, September 1957
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
Volume 22, Number 4, December 1957
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
Copyright ©
Sun May 17 00:12:08 2009 by
Michael Ley
(
ley@uni-trier.de
)