Séminaire d'algèbre et logique: Rennes, 1978. Fasc. 2.
Publication details: Rennes: Univ. de Rennes, 1972.Edition: [1st ed.]Description: [1 v.]Subject(s): DDC classification:- 511.3 S471
| Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|
Books
|
Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 511.3 S471 1978 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000098825 |
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 | No cover image available No cover image available | No cover image available No cover image available | ||
| 511.3 S396p 1977 IMPA Proof theory/ | 511.3 S415v 1968 IMPA Vollständige Systeme modaler und intuitionistischer Logik. | 511.3 S454l 1938 IMPA Logique du pari/ | 511.3 S471 1978 IMPA Séminaire d'algèbre et logique: Rennes, 1978. Fasc. 2. | 511.3 S471 [1983?] IMPA Séminaire général de logique, 1982-83/ | 511.3 S471 1986 IMPA Séminaire général de logique, 1983-1984/ | 511.3 S471 1988 IMPA Séminaire de complexité algorithmique et de logique 1986-1987-1988/ |
There are no comments on this title.