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

Description
Item Description:	Description based on print version record. Electronic resource.
Physical Description:	1 online resource.
Bibliography:	Includes bibliographical references and index.
ISBN:	9781400848751 (electronic bk.) 140084875X (electronic bk.)