TY  - BOOK
AU  - Eight Logic Colloquium. Oxford,1963
AU  - Crossley, J.N., ed.
AU  - Dummett, M.A.E., ed.
TI  - Formal systems and recursive functions - proceedings
T2  - Studies in Logic and the Foundation of Mathematics
U1  - 511.7 
PY  - 1965///
CY  - Amsterdam
PB  - North-Holland
ER  -