Features & Benefits
- Offers new features such as updated notations and selective answers to exercises
- Includes expanded treatment of natural deduction
- Contains new discussions of predicate-functor logic and the affinities between higher set theory and the elementary logic of terms
- Suitable for both classroom and independent use