Three views of logic mathematics, philosophy, and computer science

Dades bibliogràfiques
Autors principals:	Loveland, Donald W. (Autor), Hodel, Richard E. (Autor), Sterrett, Susan G. (Autor)
Format:	Llibre
Idioma:	English
Publicat:	Princeton, New Jersey Princeton University Press [2014]
Matèries:	Proof theory. Computable functions. Nonclassical mathematical logic.
Accés en línia:	Table of contents only