Mathematical Logic: A First Course (Dover Books on Mathematics) - Softcover

Robbin, Joel W.

 
9780486450186: Mathematical Logic: A First Course (Dover Books on Mathematics)
Softcover
ISBN 10: 048645018X ISBN 13: 9780486450186
Publisher: Dover Publications, 2006

Synopsis

Suitable for advanced undergraduates and graduate students, this self-contained text will appeal to readers from diverse fields and varying backgrounds — including mathematics, philosophy, linguistics, computer science, and engineering. It features numerous exercises of varying levels of difficulty, many with solutions.
A survey of the propositional calculus is followed by chapters on first-order logic and first-order recursive arithmetic. An examination of the arithmetization of syntax follows, along with a review of the incompleteness theorems and other applications of the Liar Paradox. The text concludes with a study of second-order logic and an appendix on set theory that will prove valuable to students with little or no mathematical background.

"synopsis" may belong to another edition of this title.

About the Author

Joel W. Robbin is a Professor of Mathematics at the University of Wisconsin.

"About this title" may belong to another edition of this title.

Publisher
Dover Publications
Publication date
2006
Language
English
ISBN 10 
048645018X
ISBN 13 
9780486450186
Binding
Paperback
Number of pages
238

Other Popular Editions of the Same Title

9780805382709: Mathematical Logic: A First Course

Featured Edition

ISBN 10:  0805382704 ISBN 13:  9780805382709
Publisher: Addison-Wesley Pub Co
Textbook Binding