01154nam a2200373 4500 DLU030024837 ##20000321141107.0 ##930203s1993 cau 001 0 eng 93000419 0937073997 (pbk.) : 4.95 (DLC) 93000419 DLC DLC DLC BC128 .B37 1993 160 BA-J Barwise, Jon. The language of first-order logic : including the Mackintosh version of Tarski's world 4.0 / Jon Barwise & John Etchemendy. 3rd ed., rev. & expanded. Stanford, Calif. : Center for the Study of Language and Information, c1993. xiv, 313 p. ; 24 cm. 1 computer disk. CSLI lecture notes ; no. 23 Includes indexes. Tarski's world. First-order logic. Etchemendy, John, 1952- Tarski's world. 1993. 9810 DLU True Lê Thị Mạnh Xuân G A SH Thư viện Trường Đại học Đà Lạt