## 11.7 Peano: a definition of Peano arithmetic

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.

Page 384 of 800 |
| Search logiweb.eu |

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