Constructivity in mathematics : proceedings of the Colloquium held at Amsterdam, 1957 / edited by A. Heyting.
Idioma: Idiomas múltiples, Inglés, Francés, Alemán Series Studies in logic and the foundations of mathematicsEditor: Amsterdam : North-Holland, 1959Descripción: viii, 297 p. ; 23 cmOtra clasificación: 03Fxx (03-06)Item 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 C758m (Browse shelf) | Available | A-1970 |
Browsing Instituto de Matemática, CONICET-UNS shelves, Shelving location: Libros ordenados por tema Close shelf browser
03 C748-4 Proceedings of the Conference "Algebra and Logic," Zagreb, 1984 / | 03 C749-12 Atti del XII Congresso Internazionale di Filosofia : | 03 C758 Teoria multimilor / | 03 C758m Constructivity in mathematics : | 03 C767 On numbers and games / | 03 C774 A primer of formal logic / | 03 C783 Symbolic logic / |
Inglés, francés, alemán.
"The appendix contains the summaries of three lectures ... [given] at the Summer Institute of Symbolic Logic in June 1957 at Cornell University, Ithaca, N.Y."--Preface.
Incluye referencias bibliográficas.
There are no comments on this title.