| Shelfclass_id | 4.B.1 |
| Sortkey | LC 1963 |
| Authors | John N. Crossley, Michael Dummett |
| Title | LC 1963: Formal Systems and Recursive Functions: Proceedings of the Eighth Logic Coloquium. Oxford, July 1963 |
| Publisher | North-Holland |
| Year | 1965 |
| Languages | eng |
| Series | Studies in logic and the foundations of mathematics |
| Description | 320 p. 23 cm. |
| Record date | 20061108 |
| Location | Amsterdam |
| Keywords | Logic, Symbolic and mathematical, Recursive functions |
| Notes | Held at St. Anne's College, Oxford, as a meeting of the Association for Symbolic Logic and as a NATO advanced study institute. |