Three views of logic mathematics, philosophy, and computer science

Dettagli Bibliografici
Autori principali:	Loveland, Donald W. (Autore), Hodel, Richard E. (Autore), Sterrett, Susan G. (Autore)
Natura:	Libro
Lingua:	English
Pubblicazione:	Princeton, New Jersey Princeton University Press [2014]
Soggetti:	Proof theory. Computable functions. Nonclassical mathematical logic.
Accesso online:	Table of contents only