Mathematical Logic: A First Course - Couverture souple

Robbin, Joel W

 
9780486450186: Mathematical Logic: A First Course

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

À propos de l?auteur

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

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Autres éditions populaires du même titre

9780805382709: Mathematical Logic: A First Course

Edition présentée

ISBN 10 :  0805382704 ISBN 13 :  9780805382709
Couverture rigide