Logiques construites par une méthode de déduction naturelle / par J. Dopp.
Series Collection de logique mathématique. 3Série BEditor: Louvain : E. Nauwelaerts, 1962Descripción: 191 p. ; 25 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 D692 (Browse shelf) | Available | A-1822 |
Browsing Instituto de Matemática, CONICET-UNS shelves, Shelving location: Libros ordenados por tema Close shelf browser
03 D497-2 The joy of sets : | 03 D554 Dictionary of symbols of mathematical logic / | 03 D562 Logic of algebra / | 03 D692 Logiques construites par une méthode de déduction naturelle / | 03 D726-2 Fundamentos de la matemática / | 03 D761 Set theory : | 03 D776 Fuzzy relation calculus / |
Errata et corrigenda en hoja insertada.
MR, 26 #1243
There are no comments on this title.