META-LOGICS AND LOGIC PROGRAMMING/ EDITED BY K.R. APT AND F. TURINI. - CAMBRIDGE, MASS.: MIT \\\\ - IV, 339 P. 22 CM. INCLUYE BIBLIOGRAFIAS. ISBN: 0-262-01152-2 Subjects--Topical Terms: 1.PROGRAMACION LOGICA.2.LOGICA MATEMATICA. Dewey Class. No.: 005.131 M47