Three views of logic : mathematics, philosophy, and computer science /

Bibliographic Details
Main Author: Loveland, Donald W.
Other Authors: Hodel, Richard E., Sterrett, Susan G.
Format: Printed Book
Published: Princeton: Princeton University, 2014.
Subjects:
Proof theory.
Computable functions.
Nonclassical mathematical logic.

MAT

Holdings details from MAT
Call Number: 510.21 LOV
Copy Live Status Unavailable

Similar Items