Review: Evert W. Beth, Formal Methods. An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic
Henkin, Leon
J. Symbolic Logic, Tome 30 (1965) no. 1, p. 235-236 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Publié le : 1965-06-14
Classification:  
@article{1183735113,
     author = {Henkin, Leon},
     title = {Review: Evert W. Beth, Formal Methods. An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic},
     journal = {J. Symbolic Logic},
     volume = {30},
     number = {1},
     year = {1965},
     pages = { 235-236},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183735113}
}

Henkin, Leon. Review: Evert W. Beth, Formal Methods. An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic. J. Symbolic Logic, Tome 30 (1965) no. 1, pp.  235-236. http://gdmltest.u-ga.fr/item/1183735113/