Review: Jon Barwise, John Etchemendy, The Language of First-Order Logic, including the Program Tarski's World; Jon Barwise, John Etchemendy, The Language of First-order Logic, including the Macintosh Program Tarski's World
Compton, Kevin J.
J. Symbolic Logic, Tome 58 (1993) no. 1, p. 362-363 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Publié le : 1993-03-14
Classification:  
@article{1183744204,
     author = {Compton, Kevin J.},
     title = {Review: Jon Barwise, John Etchemendy, The Language of First-Order Logic, including the Program Tarski's World; Jon Barwise, John Etchemendy, The Language of First-order Logic, including the Macintosh Program Tarski's World},
     journal = {J. Symbolic Logic},
     volume = {58},
     number = {1},
     year = {1993},
     pages = { 362-363},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183744204}
}

Compton, Kevin J. Review: Jon Barwise, John Etchemendy, The Language of First-Order Logic, including the Program Tarski's World; Jon Barwise, John Etchemendy, The Language of First-order Logic, including the Macintosh Program Tarski's World. J. Symbolic Logic, Tome 58 (1993) no. 1, pp.  362-363. http://gdmltest.u-ga.fr/item/1183744204/