TY  - BOOK
AU  - Kueker D.W.(editor)
TI  - Infinitary logic
U1  - 510.6 
PY  - 1975///
CY  - Berlin
PB  - Berlin
ER  -