Mathematical Logic: A Course with Exercises Part I
Subtitle: 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: 9780198500490