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

"One of the most careful and intensive among the introductory texts that can be used with a wide range of students. It builds remarkably sophisticated technical

This book was written to serve as an introduction to logic, with in each chapter – if applicable – special emphasis on the interplay between logic and philo