VERNA, Melina Cálculo proposicional - Rafaela, 2006. - 20 páginas Cátedra: Lógica y semántica formales. Carrera: Ingeniería en computación. Subjects--Topical Terms: CIENCIA Y TECNOLOGIA DE LOS ORDENADORES. INFORMATIINGENIERIA EN INFORMÁTICALOGICA