Introduction to Mathematical Logic
Publisher: Princeton University Press
Published: October 28, 1996
Language: eng
Format: Paperback
Number of pages: 378
ISBN-13: 9780691029061
Subjects: Mathematical logic; Science/Mathematics; Mathematical And Symbolic Logic; Philosophy Of Mathematics; Mathematics; Advanced; Discrete Mathematics; Logic; Mathematics / Advanced
First sentence: The name propositional calculus is given to any one of various logistic systems-which, however, are all equivalent to one another in a sense which will be made clear later.