Lógica y lenguajes formales sistemas de primer orden y deducción

Bibliographic Details
Main Author: Lungarzo, Carlos
Format: Libros
Published: Buenos Aires Centro Editor de América Latina 1986
Subjects:
Online Access:Ver en el OPAC del Koha
Description
Physical Description:269 p. 21 cm
ISBN:950-25-1318-5