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

Robbin, Joel W.

ISBN 10: 048645018X / ISBN 13: 9780486450186

Published by Dover Publications (edition Illustrated), 2006

It's a preowned item in good condition and includes all the pages. It may have some general signs of wear and tear, such as markings, highlighting, slight damage to the cover, minimal wear to the binding, etc., but they will not affect the overall reading experience. Seller Inventory # 048645018X-11-1

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.

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

Bibliographic Details

Title: Mathematical Logic: A First Course (Dover ...
Publisher: Dover Publications (edition Illustrated)
Publication Date: 2006
Binding: Paperback
Condition: Good
Edition: Illustrated.