Three views of logic mathematics, philosophy, and computer science

מידע ביבליוגרפי
Main Authors:	Loveland, Donald W. (Author), Hodel, Richard E. (Author), Sterrett, Susan G. (Author)
פורמט:	ספר
שפה:	English
יצא לאור:	Princeton, New Jersey Princeton University Press [2014]
נושאים:	Proof theory. Computable functions. Nonclassical mathematical logic.
גישה מקוונת:	Table of contents only