Three views of logic mathematics, philosophy, and computer science

Bibliografske podrobnosti
Main Authors:	Loveland, Donald W. (Author), Hodel, Richard E. (Author), Sterrett, Susan G. (Author)
Format:	Knjiga
Jezik:	English
Izdano:	Princeton, New Jersey Princeton University Press [2014]
Teme:	Proof theory. Computable functions. Nonclassical mathematical logic.
Online dostop:	Table of contents only