Curso CI-2511: Lógica Simbólica, Universidad Simón Bolívar, Venezuela.
Demostración de un ejercicio del examen enero-marzo 2008. La demostración utiliza los teoremas del Libro de Texto : D. Gries. & F. Schneider (1994). A Logical Approach to Discrete Math. Springer.
Link to this comment:
All Comments (0)