00442nam a22001577a 4500 20150728075439.0 150728b xxu||||| |||| 00| 0 eng d 1-881526-28-3 KyUCL KyUC EN BC 128 .B37 1993 Tarski's world: version 4.0 for MS windows Barwise, Jon [and] John Etchemendy California CSLI Publications ltd 1993 122p. lcc LLB 63 63 1 0 lcc 0 0 NFIC KyUCL KyUCL GEN 2015-07-28 Purchase 1500.00 BC 128 .B37 1993 KYUC/2008/992 2015-07-28 2015-07-28 LLB