Metalogic
Subtitle: An Introduction to the Metatheory of Standard First Order Logic
Edition: New Ed edition
Publisher: University of California Press
Published: June 26, 1973
Language: eng
Format: Paperback
Number of pages: 302
ISBN-13: 9780520023567
Subjects: Mathematical logic; Logic; Philosophy / General; Literature - Classics / Criticism
First sentence: To get a rough idea of what the metatheory of logic is, start with truths of logic.