TY  - BOOK
AU  - Crossley J. N Ed.
AU  -  Dummett M. A. E Ed.
TI  - Formal Systems and Recursive Functions
U1  - B:R1, K5-;1 
PY  - 1965///
CY  - Amsterdam
PB  - North Holland        
KW  - Logic
ER  -