META-LOGICS AND LOGIC PROGRAMMING/ EDITED BY K.R. APT AND F. TURINI. - CAMBRIDGE, MASS.: MIT \\\\ - IV, 339 P. 22 CM.

INCLUYE BIBLIOGRAFIAS.

0-262-01152-2


1.PROGRAMACION LOGICA.
2.LOGICA MATEMATICA.

005.131 M47