Barwise, Jon, 1942-2000 Tarski's world 4.0 [Documento electrónico] : a program for use with the Language of first-order logic / Jon Barwise and John Etchemendy

Tarski's world 4.0 [Documento electrónico] : a program for use with the Language of first-order logic / Jon Barwise and John Etchemendy . - Macintosh version . - xxa Stanford, California xxa-fimyyc CSLI , Center yyc-fim, 2005 . - Disquete