Three views of logic mathematics, philosophy, and computer science

Bibliografiset tiedot
Päätekijät:	Loveland, Donald W. (Tekijä), Hodel, Richard E. (Tekijä), Sterrett, Susan G. (Tekijä)
Aineistotyyppi:	Kirja
Kieli:	englanti
Julkaistu:	Princeton, New Jersey Princeton University Press [2014]
Aiheet:	Proof theory. Computable functions. Nonclassical mathematical logic.
Linkit:	Table of contents only