Teorias matemáticas formalizadas.
Series: Notas de lógica matemática ; 5.Publication details: Bahía Blanca, Argentina: Univ. Nac. del Sur, 1960.Edition: [1st ed.]Description: 60 pSubject(s): DDC classification:- 511.3 S579t
| Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|
Books
|
Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 511.3 S579t 1960 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000098031 |
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 S546c 2003 IMPA Computable functions/ | 511.3 S559d 1971 IMPA Degrees of unsolvability/ | 511.3 S559m 1967 IMPA Mathematical logic/ | 511.3 S579t 1960 IMPA Teorias matemáticas formalizadas. | 511.3 S612 1976 IMPA Simpósio latino americano de lógica matemática 1: Campinas, 1976. | 511.3 S634e 1967 IMPA Elements of mathematical logic and set theory/ | 511.3 S634g 1980 IMPA Gottlob Frege/ |
There are no comments on this title.