Formal systems and recursive functions; proceedings/ Edited by J.N. Crossley and M.A.E. Dummett.
Series: Studies in logic and the foundations of mathematicsPublication details: Amsterdam ; North-Holland, 1965.Description: 320 p.: 23 cmSubject(s): DDC classification:- 511.3 F723
Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Books | Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 511.3 F723 1965 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000099948 |
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 F533f 1982 IMPA Formal number theory and computability: a workbook/ | 511.3 F547f 1981 IMPA Fundamentals of generalized recursion theory/ | 511.3 F671p 1985 IMPA The philosophy of Niels Bohr: the framework of complementarity/ | 511.3 F723 1965 IMPA Formal systems and recursive functions; proceedings/ | 511.3 F724 1981 IMPA Formal methods in the study of language/ | 511.3 F724 1981 IMPA Formal methods in the study of language/ | 511.3 F734l 2003 IMPA Logic, induction and sets/ |
Held at St. Anne's College, Oxford, as a meeting of the Association for Symbolic Logic and as a NATO advanced study institute.
Includes the Symposium on Recursive Functions, sponsored by the Division of Logic, Methodology and Philosophy of Science of the International Union of the History and Philosophy of Science.
Includes bibliographies.
There are no comments on this title.