Volume 16,
Number 1,
March 1951
- Robert McNaughton:
A Theorem About Infinite-Valued Sentential Logic.
1-13
- Alfred Horn:
On Sentences Which are True of Direct Unions of Algebras.
14-21
- J. Barkley Rosser, Atwell R. Turquette:
Axiom Schemes for M-Valued Functional Calculi of First Order: Part II. Deductive Completeness.
22-34
- John R. Myhill:
Report on Some Investigations Concerning the Consistency of the Axiom of Reducibility.
35-42
- Maurice L'Abbe:
On the Independence of Henkin's Axioms for Fragments of the Propositional Calculus.
43-45
Volume 16,
Number 2,
June 1951
Volume 16,
Number 3,
September 1951
Volume 16,
Number 4,
December 1951
- G. Kreisel:
On the Interpretation of Non-Finitist Proofs - Part I.
241-267
Copyright © Fri Dec 4 03:20:55 2009
by Michael Ley (ley@uni-trier.de)