TY  - GEN
AU  - APT,KRZYSZTOF R.
AU  - TURINI, FRANCO.
TI  - META-LOGICS AND LOGIC PROGRAMMING/ 
SN  - 0-262-01152-2
U1  - 005.131 M47 
PY  - 0000///\\\\
CY  - CAMBRIDGE, MASS.: 
PB  - MIT
KW  - 1.PROGRAMACION LOGICA
KW  - 2.LOGICA  MATEMATICA
N1  - INCLUYE BIBLIOGRAFIAS
ER  -