Applications scientifiques de la logique mathématique: actes du 2e Colloque international de logique mathématique, Paris, 25-30 aout 1952, Institut Henri Poincaré.
Language: freengger Series: Collection de logique mathématique : sér. A ; 5.Publication details: Paris: Gauthier-Villars, 1954.Description: 176 p.: diagrs.; 25 cmSubject(s): DDC classification:- 511.3 A652
Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Books | Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 511.3 A652 1954 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000098726 | |
Books | Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 511.3 A652 1954 IMPA (Browse shelf(Opens below)) | 2 | Available | 39063000098734 |
Browsing Castorina shelves, Shelving location: Estantes Abertas (Open Shelves), Collection: Livros (Books) 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 | ||||
511.3 A532 2002 IMPA Analysis and logic/ | 511.3 A568t 1965 IMPA A transfinite type theory with type variables/ | 511.3 A652 1954 IMPA Applications scientifiques de la logique mathématique: actes du 2e Colloque international de logique mathématique, Paris, 25-30 aout 1952, Institut Henri Poincaré. | 511.3 A652 1954 IMPA Applications scientifiques de la logique mathématique: actes du 2e Colloque international de logique mathématique, Paris, 25-30 aout 1952, Institut Henri Poincaré. | 511.3 A652 1969 IMPA Applications of model theory to algebra, analysis, and probability/ | 511.3 A846e 1958 IMPA Einführung in die mathematische Logik/ | 511.3 A976l 1952 IMPA Language, truth, and logic/ |
Contributions in French, English or German.
Includes bibliographies.
There are no comments on this title.