Review: Donald W. Barnes and John M. Mack, An algebraic introduction to mathematical logic, and Andrzej Grzegorczyk, An outline of mathematical logic, and Alfred B. Manaster, Completeness, compactness, and undecidability, and Daniel Ponasse, Mathematical logic
Barwise, Jon
Bull. Amer. Math. Soc., Tome 83 (1977) no. 6, p. 186-188 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Publié le : 1977-03-14
Classification:  
@article{1183538662,
     author = {Barwise, Jon},
     title = {Review: Donald W. Barnes and John M. Mack, An algebraic introduction to mathematical logic, and Andrzej Grzegorczyk, An outline of mathematical logic, and Alfred B. Manaster, Completeness, compactness, and undecidability, and Daniel Ponasse, Mathematical logic},
     journal = {Bull. Amer. Math. Soc.},
     volume = {83},
     number = {6},
     year = {1977},
     pages = { 186-188},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183538662}
}

Barwise, Jon. Review: Donald W. Barnes and John M. Mack, An algebraic introduction to mathematical logic, and Andrzej Grzegorczyk, An outline of mathematical logic, and Alfred B. Manaster, Completeness, compactness, and undecidability, and Daniel Ponasse, Mathematical logic. Bull. Amer. Math. Soc., Tome 83 (1977) no. 6, pp.  186-188. http://gdmltest.u-ga.fr/item/1183538662/