Volume 23,
Number 1,
March 1958
Volume 23,
Number 2,
June 1958
Volume 23,
Number 3,
September 1958
Volume 23,
Number 4,
December 1958
- G. Kreisel:
A Remark on Free Choice Sequences and the Topological Completeness Proofs.
369-388
- Joseph R. Shoenfield:
Degrees of Formal Systems.
389-392
- Sigekatu Kuroda:
An Investigation on the Logical Structure of Mathematics (V).1 Contradictions of Russell's Type.
393-407
- Michael O. Rabin:
On Recursively Enumerable and Arithmetic Models of Set Theory.
408-416
- R. L. Goodstein:
On the Formalisation of Indirect Discourse.
417-419
- L. Jonathan Cohen:
Professor Goodstein's Formalisation of the Policeman.
420
- Jean Porte:
Schemas Pour Le Calcul Des Propositions Fonde Sur La Conjonction Et La Negation.
421-431
- R. M. Martin:
Twenty-Third Annual Meeting of the Association for Symbolic Logic.
456-461
Copyright © Tue Nov 17 01:47:01 2009
by Michael Ley (ley@uni-trier.de)