
Available Perspectives
Volumes

Metamathematics
of First Order Arithmetic, P. Hajek and P. Pudlak 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]