Review: J. B. Rosser, Logic for mathematicians
Curry, H. B.
Bull. Amer. Math. Soc., Tome 60 (1954) no. 6, p. 266-272 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Publié le : 1954-05-14
Classification:  
@article{1183518818,
     author = {Curry, H. B.},
     title = {Review: J. B. Rosser, Logic for mathematicians},
     journal = {Bull. Amer. Math. Soc.},
     volume = {60},
     number = {6},
     year = {1954},
     pages = { 266-272},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183518818}
}

Curry, H. B. Review: J. B. Rosser, Logic for mathematicians. Bull. Amer. Math. Soc., Tome 60 (1954) no. 6, pp.  266-272. http://gdmltest.u-ga.fr/item/1183518818/