Mathematical interpretation of formal systems / Th. Skolem ... [et al.].
Series Studies in logic and the foundations of mathematicsEditor: Amsterdam : North-Holland, 1955Descripción: viii, 113 p. ; 22 cmOtra clasificación: 03-06Item 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 M426 (Browse shelf) | Available | A-138 |
Browsing Instituto de Matemática, CONICET-UNS shelves, Shelving location: Libros ordenados por tema Close shelf browser
03 M379t Toward a systematic pragmatics / | 03 M416 Understanding symbolic logic / | 03 M425 Elementary logic / | 03 M426 Mathematical interpretation of formal systems / | 03 M478 Aristotle's modal syllogisms / | 03 M537 Introduction to mathematical logic / | 03 M537 Introduction to mathematical logic / |
"Contains the lectures, held at the symposion [sic] on 'Mathematical interpretation of formal systems' which was organized by the 'Wiskundig Genootschap' (Mathematical Society) at Amsterdam on September 9 and 10, 1954".
Autores: G. Hasenjaeger, G. Kreisel, A. Robinson, Hao Wang, L. Henkin, J. Los.
Incluye referencias bibliográficas.
There are no comments on this title.