Diferencias

Muestra las diferencias entre dos versiones de la página.

--- introalg:cursado11 [2011/06/01 18:15] – benotti
+++ introalg:cursado11 [2018/08/10 03:03] (actual) – editor externo 127.0.0.1
@@ Línea 45: / Línea 45: @@
 ===== Listado de axiomas y teoremas =====
-  * {{:introalg:digesto-final.pdf|Listado de axiomas y teoremas del cálculo proposicional}}
+  * {{:introalg:digesto-rev1467.pdf|Listado de axiomas y teoremas del cálculo proposicional}}
   * {{:introalg:axiomas-y-teoremas-lpo_3_.pdf|Listado de axiomas y teoremas del cálculo de predicados}}