Barwise, Jon
The language of first-order logic : including the Microsoft Windows program Tarski's world 4.0 for use with IBM-compatible computers / Jon Barwise, John Etchemendy. - 3rd ed. - Stanford, US : CSLI , cop. 1992 . - XIV, 319 p. ; 24 cm + 1 disquete. - (CSLI lecture notes) ; 34
ISBN 0-937073-90-3
Lógica de primeira ordem
Tarski's world (Programas de computador)
LCC BC128
The language of first-order logic : including the Microsoft Windows program Tarski's world 4.0 for use with IBM-compatible computers / Jon Barwise, John Etchemendy. - 3rd ed. - Stanford, US : CSLI , cop. 1992 . - XIV, 319 p. ; 24 cm + 1 disquete. - (CSLI lecture notes) ; 34
ISBN 0-937073-90-3
Lógica de primeira ordem
Tarski's world (Programas de computador)
LCC BC128