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

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

Show other versions (42401)

Bibliographic Details
Main Authors:	Loveland, Donald W (Author), Loveland, Donald W. (Author), Hodel, Richard E. (Author), Sterrett, S. G. (Author), Sterrett, Susan G (Author), Sterrett, Susan G. (Author)
Other Authors:	Hodel, Richard E
Format:	Book
Language:	English
Published:	Princeton : Princeton University Press, 2014 Princeton, New Jersey : [2014]
Subjects:	Computable functions Nonclassical mathematical logic Proof theory Berechenbarkeit Bevis (logik) Beweistheorie Nichtklassische Logik

Internet

Stanford University

Holdings details from Stanford University
Call Number:	ISIL:US-CST QA9.54 .L68 2014

Massachusetts Institute of Technology

Holdings details from Massachusetts Institute of Technology
Call Number:	QA9.54.L68 2014

Johns Hopkins University

Holdings details from Johns Hopkins University
Call Number:	QA9.54 .L68 2014

Harvard University

Holdings details from Harvard University
Call Number:	QA9.54 .L68 2014

Duke University

Holdings details from Duke University
Call Number:	QA9.54 .L68 2014

Dartmouth College

Holdings details from Dartmouth College
Call Number:	QA9.54 .L68 2014

Cornell University

Holdings details from Cornell University
Call Number:	QA9.54 .L68 2014

Princeton University

Holdings details from Princeton University
Call Number:	QA9.54 .L68 2014