Language, proof, and logic

• Κύριος συγγραφέας: Barwise, Jon
• Άλλοι συγγραφείς: Barker-Plummer, Dave, Allwein, Gerard 1956-, Liu, Albert 1966-
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Stanford, Calif. CSLI Publications 2003
• Θέματα: Λογική
• Φυσική περιγραφή: xi, 587 p. ill. 24 cm 1 cd-rom; 1 LPL software manual
• ISBN: 157586374X