Review: Stephen Cole Kleene, A. S. Esenin-Vol'pin, V. A. Uspenskij, Vvedenie v Metamatematiku
Comey, David D. ; Rosser, J. Barkley
J. Symbolic Logic, Tome 25 (1960) no. 1, p. 280-282 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Publié le : 1960-09-14
Classification:  
@article{1183734053,
     author = {Comey, David D. and Rosser, J. Barkley},
     title = {Review: Stephen Cole Kleene, A. S. Esenin-Vol'pin, V. A. Uspenskij, Vvedenie v Metamatematiku},
     journal = {J. Symbolic Logic},
     volume = {25},
     number = {1},
     year = {1960},
     pages = { 280-282},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183734053}
}

Comey, David D.; Rosser, J. Barkley. Review: Stephen Cole Kleene, A. S. Esenin-Vol'pin, V. A. Uspenskij, Vvedenie v Metamatematiku. J. Symbolic Logic, Tome 25 (1960) no. 1, pp.  280-282. http://gdmltest.u-ga.fr/item/1183734053/