Three views of logic mathematics, philosophy, and computer science

Bibliografiska uppgifter
Huvudupphovsmän:	Loveland, Donald W. (Författare, medförfattare), Hodel, Richard E. (Författare, medförfattare), Sterrett, Susan G. (Författare, medförfattare)
Materialtyp:	Bok
Språk:	English
Publicerad:	Princeton, New Jersey Princeton University Press [2014]
Ämnen:	Proof theory. Computable functions. Nonclassical mathematical logic.
Länkar:	Table of contents only