Lógica / preparado por el equipo del curso básico de matemáticas de la Open University ; tr. Hernando Alfonso. - México : McGraw-Hill, 1974. - 2 v. - Curso básico de matemáticas ; 11, 17 . Contenido: Algebra de Boole -- Prueba v.1. v.2. Encabezamiento--Tema: ALGEBRA BOOLEANALógica simbólica y matemática