Image from Amazon.com
Image from OpenLibrary
Image from Baker & Taylor
Southeast Asian Conference on Logic/ proceedings of the Logic Conference, Singapore, 1981 ; edited by C.-T. Chong and M.J. Wicks.
Series: Studies in logic and the foundations of mathematics ; v. 111.Publication details: Amsterdam ;: Oxford: North-Holland, 1983.Description: xiv, 210 p.: ill.; 23 cmISBN:- 0444867066 :
- 511.3 S727
| Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|
Books
|
Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 511.3 S727 1983 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000099880 |
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 |
|
|
||
| 511.3 S666g 1992 IMPA Gödel's incompleteness theorems/ | 511.3 S666t 1961 IMPA Theory of formal systems/ | 511.3 S676r 1987 IMPA Recursively enumerable sets and degrees: a study of computable functions and computably generated sets/ | 511.3 S727 1983 IMPA Southeast Asian Conference on Logic/ | 511.3 S775i 1953 IMPA An introduction to mathematical thought/ | 511.3 S814m 1972 IMPA Mathematical logic: with special reference to the natural numbers/ | 511.3 S857r 2010 IMPA Roads to infinity: the mathematics of truth and proof/ |
There are no comments on this title.