Contribuciones del usuario
Para Mjoseh (discusión | registro de bloqueos | subidas | registros)- 15:33 14 abr 2011 (dif | hist) . . (+3371) . . N Ejercicios del tema 4 (Página creada con '<source lang="isar"> theory Relacion_10 imports Main begin section {* Deducción natural de primer orden *} text {* Los ejercicios de esta relación deben de resolverse usan...') (edición actual)
- 15:33 14 abr 2011 (dif | hist) . . (+3371) . . N Tema 4 ej (Página creada con '<source lang="isar"> theory Relacion_10 imports Main begin section {* Deducción natural de primer orden *} text {* Los ejercicios de esta relación deben de resolverse usan...')
- 15:33 14 abr 2011 (dif | hist) . . (+154) . . Ejercicios
- 15:28 14 abr 2011 (dif | hist) . . (-1996) . . Tema 4: Deducción natural en lógica de primer orden con Isabelle
- 15:27 14 abr 2011 (dif | hist) . . (+31) . . Tema 4: Deducción natural en lógica de primer orden con Isabelle
- 15:26 14 abr 2011 (dif | hist) . . (+12 347) . . N Tema 4: Deducción natural en lógica de primer orden con Isabelle (Página creada con 'header {* Deducción natural en la lógica de primer orden *} theory LogicaDePrimerOrdenEj imports Main begin text {* En esta teoría se presentan los ejemplos del tema de...')
- 15:25 14 abr 2011 (dif | hist) . . (+74) . . Temas (edición actual)