Three views of logic mathematics, philosophy, and computer science

Bibliografiske detaljer
Main Authors:	Loveland, Donald W. (Author), Hodel, Richard E. (Author), Sterrett, Susan G. (Author)
Format:	Bog
Sprog:	English
Udgivet:	Princeton, New Jersey Princeton University Press [2014]
Fag:	Proof theory. Computable functions. Nonclassical mathematical logic.
Online adgang:	Table of contents only