TY  - BOOK
AU  - E Borger H Kleine Bunmg
TI  - Computer Science Logic
U1  - 4 
PY  - 2018///
CY  - Germany
PB  - Springerverlag Berlin Heidelberg
KW  - COMPUTER
ER  -