Mathematical Logic
Subtitle: A course with exercises -- Part I -- Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems
Contributors: Donald H. Pelletier (Translator)
Publisher: Oxford University Press, USA
Published: October 16, 2000
Language: eng
Number of pages: 358
ISBN-13: 9780198500483