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

Now in its fourth edition, this classic work clearly and concisely introduces the subject of logic and its applications. The first part of the book explains the

A mathematics-based logic text with strong emphasis on recursion theory and a new approach emphasizing Godel's theorem building to Hilbert's Tenth Problem. Topi