Three views of logic mathematics, philosophy, and computer science

Bibliographic Details
Main Authors:	Loveland, Donald W. (Author), Hodel, Richard E. (Author), Sterrett, Susan G. (Author)
Format:	Book
Language:	English
Published:	Princeton, New Jersey Princeton University Press [2014]
Subjects:	Proof theory. Computable functions. Nonclassical mathematical logic.
Online Access:	Table of contents only