Media type: Book Title: The language of first-order logic : including the IBM-compatible Windows version of Tarski's world 4.0 Contributor: Barwise, Jon [Author]; Etchemendy, John [Author] imprint: Menlo Park [u.a.]: CSLI, 1997 Published in: Stanford University: CSLI lecture notes ; 34,1997 Issue: 3. ed., rev. and exp., [Nachdr.] Extent: XIV, 319 S.; graph. Darst; 1 Diskette Language: English ISBN: 0937073903 RVK notation: SK 130 : Logik und Grundlagen, Metamathematik, Origination: Footnote:
Central Library – open access area Shelf-mark: SK 130 B296 L2(3) Item ID: 10426900 Issue: Buch Status: Loanable