Some problems in logical model-theory / by Lars Svenonius.
Series Library of theoria ; no. 4Editor: Lund : CWK Gleerup, 1960Descripción: 43 p. ; 23 cmOtra clasificación: 03-XXItem 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 Sv968 (Browse shelf) | Available | A-1742 |
Browsing Instituto de Matemática, CONICET-UNS shelves, Shelving location: Libros ordenados por tema Close shelf browser
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 : | 03 Sy989-1971 Conference record of the 1971 Symposium on the theory and applications of multiple-valued logic design : |
MR, 25 #1986d
There are no comments on this title.