Logiques construites par une méthode de déduction naturelle
By: Dopp, Joseph
Material type:
TextSeries: Collection de logique mathématique. Série B ; 3Publisher: Louvain : Nauwelaerts, 1962Description: 191 pSubject(s): Logique symbolique et mathématique -- Déduction (Logique)
| Item type | Current library | Class number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books / Monographs |
Dominican University College Library / Collège Universitaire Dominicain
Hours of operation: Monday - Thursday 8am - 8:30 pm; Friday 8am - 4pm | Les heures d'ouverture : Lundi à jeudi de 8 h à 20 h 30; vendredi 8h - 16h
Standard shelving location / Rayonnage standard
|
BC 135 .D66 L64 1962 (Browse shelf (Opens below)) | Available | 124518-1001 |
Browsing Dominican University College Library / Collège Universitaire Dominicain shelves, Shelving location: Standard shelving location / Rayonnage standard Close shelf browser (Hides shelf browser)
| No cover image available | No cover image available | No cover image available | No cover image available | No cover image available | No cover image available | No cover image available | ||
| BC 135 .C68 A33 1965 L'algèbre de la logique | BC 135 .C87 L43 1952 Leçons de logique algébrique | BC 135 .D39 R35 1945 Le raisonnement mathématique | BC 135 .D66 L64 1962 Logiques construites par une méthode de déduction naturelle | BC 135 .D813 I55 1957 Initiation à la logique | BC 135 .D85 P55 2002 Philosophie des mathématiques | BC 135 .F74 L35 1966 The language of logic. |
Page errata insérée dans volume.
There are no comments on this title.