TY  - BOOK
AU  - Crossley,J.N
AU  - Dummett,M.A.E
ED  - Proceedings of Logic Colloquium
ED  - Association for Symbolic Logic
ED  - North Atlantic Treaty Organization
ED  - International Union of the History and Philosophy of Science.
TI  - Formal systems and recursive functions
U1  - 164 
PY  - 1965///
CY  - Amsterdam
PB  - North-Holland Pub.
KW  - Logic, Symbolic and mathematical
KW  - Recursive functions
N1  - 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
ER  -