Proceedings of the XIth International Congress of Philosophy

Volume 14, 1953

Additional Volume and Contributions to the Symposium on Logic

G. Kreisel
Pages 39-49

Note on Arithmetic Models for Consistent Formulae of the Predicate Calculus II