Tarski's world:  version 4.0 for MS windows 
Barwise, Jon [and] John Etchemendy 
 - California  CSLI Publications ltd  1993 
 - 122p. 
<br/><br/><label>ISBN: </label>1-881526-28-3 
<br/><br/><label>LC Class. No.: </label>BC 128   / .B37 1993