TY  - BOOK
AU  - Beth Evert W
TI  - Aspects of modern logic
T2  - Synthse library
U1  - R1, L0 
PY  - 1970///
CY  - Hollnd
PB  - D Reidel Publishing     
ER  -