Three Views of Logic: Mathematics, Philosophy and Computer Science
Donald W. Loveland, Richard E. Hodel and S.G. Sterrett
The textbook arose from an interdisciplinary course taught at Duke by computer science professor emeritus Loveland, mathematics associate professor emeritus Hodel and former Duke philosophy professor Sterrett.
Demonstrating the different roles that logic plays in the disciplines of computer science, mathematics, and philosophy, this concise undergraduate textbook covers select topics from three different areas of logic: proof theory, computability theory, and non-classical logic. The book balances accessibility, breadth, and rigor, and is designed so that its materials will fit into a single semester. Its distinctive presentation of traditional logic material will enhance readers' capabilities and mathematical maturity.