Page 372 of 800
| Page 372 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.
| Page 372 of 800 | Search logiweb.eu |