Mathematical interpretation of formal systems/ Th. Skolem ... [and others]
Series: Studies in logic and the foundations of mathematicsPublication details: Amsterdam ; North-Holland, 1955.Description: 113 p.: 22 cmSubject(s): DDC classification:- 511.3 M426
| Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|
Books
|
Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 511.3 M426 1955 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000100936 |
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 |
|
|
|
||
| 511.3 M385p 2003 IMPA Perfect lattices in Euclidean spaces/ | 511.3 M425l 1965 IMPA Lógica elementar. | 511.3 M425l 1967 IMPA First order mathematical logic. | 511.3 M426 1955 IMPA Mathematical interpretation of formal systems/ | 511.3 M426 1978 IMPA Mathematical logic: proceedings of the first Brazilian Conference/ | 511.3 M426 1978 IMPA Mathematical logic in Latin America: proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978/ | 511.3 M426 1985 IMPA Mathematical logic and formal systems: a collection of papers in honor of Professor Newton C. A. da Costa/ |
Lectures held at the symposium on mathematical interpretation of formal systems in Amsterdam, Sept. 9-10, 1954.
Includes bibliographies.
There are no comments on this title.