Barwise, Jon. <br/><br/>
Tarski's world  [Jon Barwise & John Etchemendy].  [computer file] / 

 - Version 4.0 for MS Windows. 
, Computer program. 
 - Stanford, CA :  CSLI Publications,  c1993. 
 - 1 computer disk ;  3 1/2 in. +  1 manual (xviii, 122 p.). 
 - CSLI lecture notes ;  no. 45 .