Volume 27,
Number 1,
March 1962
Volume 27,
Number 2,
June 1962
- David Pager:
An Emendation of the Axiom System of Hilbert and Ackermann for the Restricted Calculus of Predicates.
131-138
- G. Kreisel:
On Weak Completeness of Intuitionistic Predicate Logic.
139-158
- Bruno Scarpellini:
Die Nichtaxiomatisierbarkeit des Unendlichwertigen Pradikatenkalkuls von Lukasiewicz.
159-170
- Carol R. Karp:
Independence Proofs in Predicate Logic with Infinitely Long Expressions.
171-188
- R. A. Bull:
The Implicational Fragment of Dummet's LC.
189-194
- Richard Montague:
Theories Incomparable with Respect to Relative Interpretability.
195-211
Volume 27,
Number 3,
September 1962
Volume 27,
Number 4,
December 1962
- Solomon Feferman, C. Spector:
Incompleteness Along Paths in Progressions of Theories.
383-390
- Alfred Horn:
The Separation Theorem of Intuitionist Propositional Calculus.
391-399
- F. R. Drake:
On McKinsey's Syntatical Characterizations of Systems of Modal Logic.
400-406
- Takeo Sugihara:
The Number of Modalities in T Supplemented by the Axiom CL2pL3p.
407-408
- William H. Jobe:
Functional Completeness and Canonical Forms in Many-Valued Logics.
409-422
- Alan Rose:
Extensions of Some Theorems of Anderson and Belnap.
423-425
- Timothy Smiley:
The Independence of Connectives.
426-436
- Gerald B. Standley:
Two Arithmetical Techniques with Numbered Classes.
437-438
- Gordon Matheson:
The Semantics of Singular Terms.
439-466
- Robert L. Vaught:
Twenty-Eighth Annual Meeting of the Association for Symbolic Logic.
475-483
Copyright © Mon Nov 2 21:47:05 2009
by Michael Ley (ley@uni-trier.de)
