Language, proof, and logic

• Main Author: Barwise, Jon
• Other Authors: Barker-Plummer, Dave, Allwein, Gerard 1956-, Liu, Albert 1966-
• Format: Book
• Language: English
• Published: Stanford, Calif. CSLI Publications 2003
• Subjects: Λογική
• Physical Description: xi, 587 p. ill. 24 cm 1 cd-rom; 1 LPL software manual
• ISBN: 157586374X