Note on arithmetic models for consistent formulae of the predicate calculus
Kreisel, G.
Fundamenta Mathematicae, Tome 37 (1950), p. 265-285 / Harvested from The Polish Digital Mathematics Library
Access to full text
Full (PDF)
Publié le : 1950-01-01
EUDML-ID : urn:eudml:doc:213224 
@article{bwmeta1.element.bwnjournal-article-fmv37i1p25,
     author = {G. Kreisel},
     title = {Note on arithmetic models for consistent formulae of the predicate calculus},
     journal = {Fundamenta Mathematicae},
     volume = {37},
     year = {1950},
     pages = {265-285},
     zbl = {0040.00302},
     language = {en},
     url = {http://dml.mathdoc.fr/item/bwmeta1.element.bwnjournal-article-fmv37i1p25}
}

Kreisel, G. Note on arithmetic models for consistent formulae of the predicate calculus. Fundamenta Mathematicae, Tome 37 (1950) pp. 265-285. http://gdmltest.u-ga.fr/item/bwmeta1.element.bwnjournal-article-fmv37i1p25/