Logique contemporaine et formalisation/ par Roger Martin.
Series: Epiméthée; essais philosophiquesPublication details: Paris: Presses universitaires de France, 1964.Edition: 1. edDescription: 230 p.; 19 cmSubject(s): DDC classification:- 511.3 M382l
| Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|
Books
|
Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 511.3 M382l 1954 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000570252 |
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 No cover image available |
|
No cover image available No cover image available | ||
| 511.3 M345m 2010 IMPA Model theory: an introduction/ | 511.3 M346o 2002 IMPA Operads in algebra, topology and physics/ | 511.3 M346t 1962 IMPA Theory of algorithms (Teoriya algorifmov)/ | 511.3 M382l 1954 IMPA Logique contemporaine et formalisation/ | 511.3 M382t 1959 IMPA Toward a systematic pragmatics. | 511.3 M385p 2003 IMPA Perfect lattices in Euclidean spaces/ | 511.3 M425l 1965 IMPA Lógica elementar. |
Includes index.
Bibliography: p. [217]-224.
There are no comments on this title.