TY  - BOOK
AU  - Schöning,Uwe
TI  - Logic for computer scientists
T2  - Progress in computer science and applied logic
SN  - 0817634533
PY  - 1989///
CY  - Berlín
PB  - Birkhäuser
KW  - Lógica simbólica y matemática
KW  - Programación lógica
N1  - Indices. -Bibliografía
ER  -