TY  - BOOK
AU  - Dalen D Ven
TI  - Logic and foundations of mathematics
U1  - R14, K8 
PY  - 1968///
ER  -