TY  - BOOK
AU  - Crossley J N
AU  -  Dummett M A E
TI  - Formal systems and recursive functions
T2  - Studies in logic and the foundations of mathematics
U1  - R193, K5 
PY  - 1965///
CY  - Amsterdam
PB  - North-Holland Publishing      
ER  -