Les fondements des mathématiques : intuitionnisme, théorie de la démonstration / par A. Heyting.
Series Collection de logique mathématique, sér. A ; 9Editor: Paris : Gauthier-Villars, 1955Descripción: 91 p. ; 25 cmOtra clasificación: 03FxxItem type | Home library | Shelving location | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Libros | Instituto de Matemática, CONICET-UNS | Libros ordenados por tema | 03 H621f (Browse shelf) | Available | A-1969 |
Browsing Instituto de Matemática, CONICET-UNS shelves, Shelving location: Libros ordenados por tema Close shelf browser
03 H553a Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit ; | 03 H553e Einführung in die mathematische Logik: Klassische Prädikatenlogik. | 03 H621 Intuitionism : | 03 H621f Les fondements des mathématiques : | 03 H641 Principles of mathematical logic / | 03 H669 Conceptual models in mathematics : | 03 H713a Gödel, Escher, Bach : |
There are no comments on this title.