Review: Raymond M. Smullyan, Recursion theory for metamathematics
Odifreddi, Piergiorgio
J. Symbolic Logic, Tome 60 (1995) no. 1, p. 1324-1326 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Publié le : 1995-12-14
Classification:  
@article{1183744886,
     author = {Odifreddi, Piergiorgio},
     title = {Review: Raymond M. Smullyan, Recursion theory for metamathematics},
     journal = {J. Symbolic Logic},
     volume = {60},
     number = {1},
     year = {1995},
     pages = { 1324-1326},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183744886}
}

Odifreddi, Piergiorgio. Review: Raymond M. Smullyan, Recursion theory for metamathematics. J. Symbolic Logic, Tome 60 (1995) no. 1, pp.  1324-1326. http://gdmltest.u-ga.fr/item/1183744886/