Mathematical Logic
A First Course
Will be published approx. on 25. August 2006
Book
Paperback/Softback
224 pages
978-0-486-45018-6 (ISBN)
Description
This self-contained text will appeal to readers from diverse fields and varying backgrounds. Topics include 1st-order recursive arithmetic, 1st- and 2nd-order logic, and the arithmetization of syntax. Numerous exercises; some solutions. 1969 edition.
More details
Series
Language
English
Place of publication
New York
United States
Product notice
Paperback (trade)
Unsewn / adhesive bound
Dimensions
Height: 216 mm
Width: 140 mm
Thickness: 12 mm
Weight
259 gr
ISBN-13
978-0-486-45018-6 (9780486450186)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Person
Joel W. Robbin is a Professor of Mathematics at the University of Wisconsin.
Content
1. The Propositional Calculus
2. First-Order Logic
3. First-Order Recursive Arithmetic
4. Arithmetization of Syntax
5. The Incompleteness Theorems and Other Applications of the Liar Paradox
6. Second-Order Logic
Appendix
Answers to Selected Exercises
Suggested Reading
Index