Volume 11,
Number 1,
March 1946
- Ruth C. Barcan:
A Functional Calculus of First Order Based on Strict Implication.
1-16
Volume 11,
Number 2,
June 1946
Volume 11,
Number 3,
September 1946
- Archie Blake:
A Boolean Derivation of the Moore-Osgood Theorem.
65-70
- W. V. Quine:
On Relations as Coextensive with Classes.
71-72
- Emil L. Post:
Note on a Conjecture of Skolem.
73-74
Volume 11,
Number 4,
December 1946
- W. V. Quine:
Concatenation as a Basis for Arithmetic.
105-114
- Ruth C. Barcan:
The Deduction Theorem in a Functional Calculus of First Order Based on Strict Implication.
115-118
- A. Heyting:
On Weakened Quantification.
119-121
Copyright © Wed Dec 23 21:54:34 2009
by Michael Ley (ley@uni-trier.de)
