The Journal of Symbolic Logic
, Volume 1
Volume 1, Number 1, March 1936
W. V. Quine
: Toward a Calculus of Concepts. 2-25
BibTeX
Arnold F. Emch
: Implication and Deducibility. 26-35
BibTeX
J. Barkley Rosser
: Constructibility as a Criterion for Existence. 36-39
BibTeX
Alonzo Church
: A Note on the Entscheidungsproblem. 40-41
BibTeX
Volume 1, Number 2, June 1936
W. V. Quine
: Set-Theoretic Foundations for Logic. 45-57
BibTeX
Arnold F. Emch
: Addendum to the Article Implication and Deducibility. 58
BibTeX
Volume 1, Number 3, September 1936
C. I. Lewis
: Emch's Calculus and Strict Implication. 77-86
BibTeX
J. Barkley Rosser
: Extensions of Some Theorems of Godel and Church. 87-91
BibTeX
Frederic Brenton Fitch
: A System of Formal Logic Without an Analogue to the Curry W Operator. 92-100
BibTeX
Alonzo Church
: Correction to a Note on the Entscheidungsproblem. 101-102
BibTeX
Emil L. Post
: Finite Combinatory Processes-Formulation 1. 103-105
BibTeX
C. J. Ducasse
: List of Officers and Members of the Association for Symbolic Logic. 106-109
BibTeX
Copyright ©
Sun May 17 00:12:11 2009 by
Michael Ley
(
ley@uni-trier.de
)