Language proof and logic
By: Jon Barwise & John Etchemendy. In collab. with Gerard Allwein ....
Edition: Nachdr.
Publisher: CSLI Publ.
Published: 2006
Place of publication: Stanford, Calif
Language: eng
Number of pages: 587
ISBN-13: 9781575863740
Subjects: Beweis; CD-ROM; Logik; Einführung; Sprache