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