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

Bibliografische gegevens
Hoofdauteur: Loveland, Donald W.
Andere auteurs: Hodel, Richard E., Sterrett, Susan G.
Formaat: Printed Book
Gepubliceerd in: Princeton: Princeton University, 2014.
Onderwerpen:
Proof theory.
Computable functions.
Nonclassical mathematical logic.

MAT

Exemplaargegevens van MAT
Plaatsingsnummer: 510.21 LOV
Kopie Status is onbeschikbaar

Gelijkaardige items