Three Views of Logic : Mathematics, Philosophy, and Computer Science.

Three Views of Logic : Mathematics, Philosophy, and Computer Science.

Show other versions (1)

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

Saved in:
Bibliographic Details
Main Author: Loveland, Donald W.
Other Authors: Hodel, Richard E., Sterrett, S. G.
Format: Electronic eBook
Language:English
Published: Princeton : Princeton University Press, 2014.
Subjects:
Proof theory.
Computable functions.
Nonclassical mathematical logic.
Online Access: Full text (Wentworth users only)

Internet

Full text (Wentworth users only)

Similar Items