Note on arithmetic models for consistent formulae of the predicate calculus

Wydawnictwa / Czasopisma IMPAN / Fundamenta Mathematicae / Wszystkie zeszyty

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