|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|