TY  - BOOK
TI  - Logic and foundations of mathematics
U1  - 511.3 
PY  - 1968///
CY  - Groningen
PB  - Wolters-Noordhoff Pub
KW  - Mathematical logic
ER  -