Korfhage, Robert R. Lógica y algoritmos : con aplicaciones a las ciencias de la computación e informática / Robert R. Korfhage; versión española Federico Velasco C. - 1a ed. - México : Limusa, 1990 - 222 p. : il. ; 23 cm. Incluye índice ISBN: 9681808207 Subjects--Topical Terms: Lógica simbólicaLógica matemática LC Class. No.: QA9 / K67 1990