Tarski's world 4.0 a program for use with the language of first-order logic
Barwise, Jon
Tarski's world 4.0 a program for use with the language of first-order logic [[Documento electrónico]] / Jon Barwise, John Etchemendy. - Stanford, US : CSLI Publications , cop. 1993 . - 1 disquete ; 10 cm.
ISBN 0-937073-90-3
Lógica de primeira ordem
Tarski's world (Programas de computador)
LCC BC128
Tarski's world 4.0 a program for use with the language of first-order logic [[Documento electrónico]] / Jon Barwise, John Etchemendy. - Stanford, US : CSLI Publications , cop. 1993 . - 1 disquete ; 10 cm.
ISBN 0-937073-90-3
Lógica de primeira ordem
Tarski's world (Programas de computador)
LCC BC128