11.7 Peano: a definition of Peano arithmetic

Prev Up Next Page 384 of 800 Search internet

The Peano page defines Peano arithmetic along the lines of Mendelson: Introduction to Mathematical Logic. It also defines classical propositional calculus, classical predicate calculus, and proof tactics which allow to use deduction. A numbered version of the Peano.lgs source text is here.

Also see the original, unnumbered lgs file, the main pdf, and the document root.

Prev Up Next Page 384 of 800 Search logiweb.eu

Copyright © 2010 Klaus Grue, GRD-2010-01-05