Naishtat, Francisco S. Lógica para computación / Francisco S. Naishtat - Buenos Aires : EUDEBA, 1986. - 300 pag. : 24 cm ISBN: 9502302826 Subjects--Topical Terms: InformáticaLenguaje de programaciónlógica del lenguajeteoría de modelos