Next: About this document
CS486 Spring 1997
Lecture 14 Thursday, March 6, 1997
- First-order theories
- Peano axioms and axiom scheme of induction for
- sample inductive proof
- tactics to build parts of a proof
- scope of Peano Arithmetic
- Löwenheim-Skolem theorem and nonstandard models