Lecture Notes in Logic
> Perspectives in Logic

   Other ASL Books

   Member Discounts


Available Perspectives Volumes


 Editorial Board











Metamathematics of First Order Arithmetic, P. Hajek and P. Pudlak
(1998, 460 pp), Softcover.
ISBN 3-540-63648-X

This book covers the most important results in the study of a first order theory of the natural numbers, called Peano arithmetic, and its subsystems. The first part develops naturally important parts of mathematics and logic in suitable fragments. The second, is devoted to incompleteness and the third, studies systems that have the induction schema restricted to bounded formulas. A highlight of this section is the relation of provability to computational complexity. Intended for those who want to learn more about formal systems for arithmetic and the current research in the field.


[ Meetings | Announcements | Membership | Journals | ASL Books | Links to Other Sites | ASL Info | Home]