Three views of logic : mathematics, philosophy, and computer science /

Three views of logic : mathematics, philosophy, and computer science /

Show other versions (3)

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...

Full description

Bibliographic Details
Main Authors: Loveland, Donald W. (Author), Hodel, Richard E. (Author), Sterrett, S. G. (Author), Sterrett, Susan G. (Author)
Corporate Author: De Gruyter
Format: Book
Language:English
Published: Princeton, NJ : Princeton University Press, [2014]
Princeton, NJ : [2014]
Edition:Course Book
Subjects:
Computable functions
Nonclassical mathematical logic
Proof theory
Berechenbarkeit
Beweistheorie
Nichtklassische Logik
Dictionaries

Internet

This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.

Similar Items