Barwise, Jon, 1942-2000
The language of first-order logic : including the Macintosh version of Tarski's world 4.0 / Jon Barwise and John Etchemendy
The language of first-order logic : including the Macintosh version of Tarski's world 4.0 / Jon Barwise and John Etchemendy
. - 3rd ed. rev. and expanded
. - xxa Stanford, California xxa-fimyyc CSLI, Center for the Study of Language and Information yyc-fim, 2004
. - XIV, 313, [9] p. 24 cm
. - (CSLI lecture notes; 23))
. - Contém referências bibliográficas e índice
0937073997 brochado : compra
Lógica de primeira ordem
Tarski's world (Programa de computador)
Linguagens de programação
Manuais
519.68