(Paperback)

Demonstrating the different roles that logic plays in the disciplines of computer science, mathematics, and philosophy, this title covers select topics from three different areas of logic: proof theory, computability theory, and nonclassical logic. It presents relevance logic with applications.