Three views of logic mathematics, philosophy, and computer science

Bibliographische Detailangaben
Hauptverfasser:	Loveland, Donald W. (VerfasserIn), Hodel, Richard E. (VerfasserIn), Sterrett, Susan G. (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Princeton, New Jersey Princeton University Press [2014]
Schlagworte:	Proof theory. Computable functions. Nonclassical mathematical logic.
Online Zugang:	Table of contents only