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

Bibliographische Detailangaben
1. Verfasser: Loveland, Donald W.
Weitere Verfasser: Hodel, Richard E., Sterrett, Susan G.
Format: Printed Book
Veröffentlicht: Princeton: Princeton University, 2014.
Schlagworte:
Proof theory.
Computable functions.
Nonclassical mathematical logic.

MAT

Bestandesangaben von MAT
Signatur: 510.21 LOV
Exemplar Live-Status nicht verfügbar

Ähnliche Einträge