The Journal of Symbolic Logic
, Volume 6
Volume 6, Number 1, March 1941
Paul Bernays
: A System of Axiomatic Set Theory - Part II. 1-17
BibTeX
Frederic Brenton Fitch
: Closure and Quine's *101. 18-22
BibTeX
George D. W. Berry
: On Quine's Axioms of Quantification. 23-27
BibTeX
Volume 6, Number 2, June 1941
Haskell B. Curry
: A Revision of the Fundamental Rules of Combinatory Logic. 41-53
BibTeX
Haskell B. Curry
: Consistency and Completeness of the Theory of Combinators. 54-61
BibTeX
Volume 6, Number 3, September 1941
Alfred Tarski
: On the Calculus of Relations. 73-89
BibTeX
Ray H. Dotterer
: A Generalization of the Antilogism. 90-95
BibTeX
J. Barkley Rosser
: The Independence of Quine's Axioms *200 and *201. 96-97
BibTeX
Volume 6, Number 4, December 1941
J. C. C. McKinsey
: A Solution of the Decision Problem for the Lewis systems S2 and S4, with an Application to Topology. 117-134
BibTeX
W. V. Quine
: Element and Number. 135-149
BibTeX
Nelson Goodman
: Sequences. 150-153
BibTeX
C. H. Langford
: Note on a Device of Quine and Goodman. 154-155
BibTeX
C. H. Langford
: List of Officers and Members of the Association for Symbolic Logic. 174-178
BibTeX
Copyright ©
Sun May 17 00:12:10 2009 by
Michael Ley
(
ley@uni-trier.de
)