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

Bibliographic Details

Main Authors:	Loveland, Donald W. (Author), Hodel, Richard E. (Author), Sterrett, S. G. (Author)
Corporate Author:	ebrary, Inc
Format:	eBook
Language:	English
Published:	Princeton : Princeton University Press, [2014]
Subjects:	Proof theory. Computable functions. Nonclassical mathematical logic. Electronic books.
Online Access:	Connect to the full text of this electronic book