TY  - GEN
AU  - Grünberg,Teo
TI  - Symbolic logic / 
T2  - Middle East Technical University
AV  - QA9 
PY  - 1972///
CY  - Ankara : 
PB  - Middle East Technical University, 
KW  - Logic, Symbolic and mathematical
ER  -