Reduktionstheorie des Entscheidungsproblems im Prädikatenkalkül der ersten Stufe / von János Surányi.
Editor: Budapest : Verlag der Ungarischen Akademie der Wissenschaften, 1959Descripción: 215 p. ; 25 cmOtra clasificación: 03D35Item 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 Su961 (Browse shelf) | Available | A-952 |
Browsing Instituto de Matemática, CONICET-UNS shelves, Shelving location: Libros ordenados por tema Close shelf browser
03 Su955-1965 Sets, models and recursion theory : | 03 Su955-1969 Logic Colloquium '69 : | 03 Su959li Introduction to logic / | 03 Su961 Reduktionstheorie des Entscheidungsproblems im Prädikatenkalkül der ersten Stufe / | 03 Sv968 Some problems in logical model-theory / | 03 Sy989-1959 Infinitistic methods : | 03 Sy989-1959 Infinitistic methods : |
Incluye referencias bibliográficas (p. [213]-215).
MR, 21 #7156
There are no comments on this title.