01226nam a2200289 a 4500 1/39160 091217s2008 cau bi 001 0 eng 9781575864846 (pbk. : alk. paper) 1575864843 (pbk. : alk. paper) 41813 DLC DLC DLC GR-PeUP 511.3 BAR Barker-Plummer, Dave. Tarski's world / by Dave Barker-Plummer, Jon Barwise, John Etchemendy. Rev. and expanded. Stanford, Calif. : CSLI Publications, c2008. 126 σ. ; 23 εκ. + 1 οπτικός δίσκος Η/Υ. CSLI lecture notes ; Περιέχει βιβλιογραφία και ευρετήριο. First-order logic. Barwise, Jon. Etchemendy, John, 1952- CSLI lecture notes ; 169 INST UNIPILB MAIN 20091217 511.3 BAR 00159945 00159945 LOAN 0 1 Πίνακας περιεχομένων: http://www.loc.gov/catdir/toc/ecip0421/2004017514.html /webopac/covers/02/41813_9781575864846.jpg (pbk. : alk. paper) /webopac/covers/02/41813_1575864843.jpg (pbk. : alk. paper)