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: Λογική