Ranked #46 in Recursion
This book introduces mathematical logic and related topics to undergraduates in computer science, math, and philosophy. Several minor errors have been corrected in the revised edition without changing the original pagination. Causey (U. of Texas, Austin) has designed the text to teach students how t less