Language, proof, and logic

• Κύριος συγγραφέας: Barwise, Jon
• Άλλοι συγγραφείς: Barker-Plummer, Dave, Allwein, Gerard 1956-, Liu, Albert 1966-
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Stanford, Calif. CSLI Publications 2003
• Θέματα: Λογική