Three views of logic : mathematics, philosophy, and computer science /
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 nonclassical logic. The book balances accessib...
Main Authors: | , , , |
---|---|
Corporate Author: | |
Format: | Book |
Language: | English |
Published: |
Princeton, NJ :
Princeton University Press,
[2014]
Princeton, NJ : [2014] |
Edition: | Course Book |
Subjects: |