Lógica para la computación I - Aguilera Venegas, Gabriel; Pérez de Guzmán Molina, Inmaculada (Agora, Málaga [s.n], 1993)
V. 1: Lógica proposicional
Keywords: Programación (Matemáticas); Lógica