TY  - BOOK
T1  - Formal systems and recursive functions proceedings
T2  - Studies in logic and the foundations of mathematics.
A2  - Crossley, John N.
A2  - Dummett, Michael A. E.
PP  - Amsterdam
PB  - North-Holland Pub. Co.
YR  - 1965
UL  - https://ds.mainlib.upd.edu.ph/Record/UP-99796217609611946
OP  - 320
NO  - Held at St. Anne's College, Oxford, as a meeting of the Association for Symbolic Logic and as a NATO advanced study institute.
NO  - 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.
CN  - QA 9 L64 1963
KW  - Logic, Symbolic and mathematical.
KW  - Recursive functions.
ER  -