Three views of logic mathematics, philosophy, and computer science

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Loveland, Donald W. (Údar), Hodel, Richard E. (Údar), Sterrett, Susan G. (Údar)
Formáid:	LEABHAR
Teanga:	English
Foilsithe / Cruthaithe:	Princeton, New Jersey Princeton University Press [2014]
Ábhair:	Proof theory. Computable functions. Nonclassical mathematical logic.
Rochtain ar líne:	Table of contents only