Three views of logic mathematics, philosophy, and computer science

Detalles Bibliográficos
Autores principales:	Loveland, Donald W. (Autor), Hodel, Richard E. (Autor), Sterrett, Susan G. (Autor)
Formato:	Libro
Lenguaje:	English
Publicado:	Princeton, New Jersey Princeton University Press [2014]
Materias:	Proof theory. Computable functions. Nonclassical mathematical logic.
Acceso en línea:	Table of contents only