This classic undergraduate treatment examines the deductive method in its first part and explores applications of logic and methodology in constructing mathemat

Part I of this coherent, well-organized text deals with formal principles of inference and definition. Part II explores elementary intuitive set theory, with se

This comprehensive overview ofmathematical logic is designedprimarily for advanced undergraduatesand graduate studentsof mathematics. The treatmentalso contains

Publisher Description