Mathematical interpretation of formal systems / Th. Skolem, G. Hasenjaeger, G. Kreisel... [et al.]
Type de document : CongrèsCollection : Studies in logic and the foundations of mathematicsLangue : anglais ; français.Pays: Pays Bas.Éditeur : Amsterdam : North-Holland, 1955Description : 1 vol. (VIII-113 p.) ; 22 cmISSN: 0049-237X.Bibliographie : Notes bibliogr..Sujet MSC : 03D05, Computability and recursion theory, Automata and formal grammars in connection with logical questions03A10, Logic in the philosophy of science
03Exx, Mathematical logic and foundations - Set theory
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Congrès
|
CMI Salle 1 | 03 SKO (Browse shelf(Opens below)) | Available | 02185-01 |
Communications présentées au Symposium on Mathematical Interpretation of Formal Systems, organisé par la Wiskundig genootschap (Mathematical Society) à Amsterdam, 9 et 10 septembre 1954
Notes bibliogr.
There are no comments on this title.