Note on arithmetic models for consistent formulae of the predicate calculus

Publishing house / Journals and Serials / Fundamenta Mathematicae / All issues

G. Kreisel Fundamenta Mathematicae 37 (1950), 265-285 DOI: 10.4064/fm-37-1-265-285