TY  - BOOK
AU  - Dalen, Van D.
AU  - Dijkman, J.G.
AU  - Kleene, S.C.
TI  - Logic and foundations of mathematics
U1  - 511.3 
PY  - 1968///
CY  - Netherlands
PB  - Wolters-Noordhoff Pu
ER  -