Mathematical Logic: A First Course

Robbin, Joel W.

ISBN 10: 048645018X / ISBN 13: 9780486450186

Edité par Dover Publications, 2006

May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less. N° de réf. du vendeur G048645018XI4N00

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.

À propos de l?auteur: Joel W. Robbin is a Professor of Mathematics at the University of Wisconsin.

Détails bibliographiques

Titre : Mathematical Logic: A First Course
Éditeur : Dover Publications
Date d'édition : 2006
Reliure : Paperback
Etat : Very Good
Etat de la jaquette : No Jacket