Formal systems and recursive functions : proceedings of the eighth logic colloquium oxford, July 1963 / Edited by J.N. Crossley and M.A.E. Dummett.
Material type:
TextLanguage: English Series: Studies in logic and the foundations of mathematicsPublication details: Amsterdam : North-Holland Pub. Co., 1965.Description: [4], 320 p. ; 23 cmSubject(s): DDC classification: - 23 511.352 FOR 1965
Books
| Cover image | Item type | Current library | Home library | Collection | Shelving location | Call number | Materials specified | Vol info | URL | Copy number | Status | Notes | Date due | Barcode | Item holds | Item hold queue priority | Course reserves | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|
Books
|
Central Library, University of Rajshahi | Non-fiction | 511.352 FOR 1965 (Browse shelf(Opens below)) | C-2 | Available | INR | A5484 |
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.
There are no comments on this title.