Caractéristiques et avantages
- Clear and accessible introduction to mathematical logic
- Covers proof theory, model theory, recursion theory, axiomatic number theory, and set theory
- Includes many exercises for practice
- Can be used for a first graduate course
- Has helped educate numerous mature and accomplished researchers
- Emphasizes mathematical logic as a method for problem-solving