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 |
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.