Page 384 of 800
| 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 |