Cargas by Harold Olmos

6. HLC -HOM - Sesión 6-2 2021-2 Teoria de Conjuntos

5. HLC -HOM - Sesión 5 2021-2 Leyes - inferencia

4. HLC -HOM - Sesión 4 2021-2 Leyes - Logica Proposicional 1

2. HLC -HOM - Sesión2 2021-2 Logica Proposicional PARTE 1

3. HLC -HOM - Sesión 3 2021-2 Formalizacion - Logica Proposicional

1. HLC-HOM - Sesión1 2021-2 Presentacion_Curso Herramienta Logica Computacional