Contribuciones del usuario
Para Jalonso (discusión | registro de bloqueos | subidas | registros)- 20:36 25 abr 2020 (dif | hist) . . (-469) . . Lógica matemática y fundamentos (2017-18) (edición actual)
- 09:55 19 nov 2018 (dif | hist) . . (+16 095) . . N Tema 8a (Página creada con «<source lang="isabelle"> chapter {* Tema 8: Deducción natural en lógica de primer orden *} theory T8b_Deduccion_natural_en_logica_de_primer_orden imports Main begin te…») (edición actual)
- 09:55 19 nov 2018 (dif | hist) . . (+95) . . Lógica matemática y fundamentos (2017-18) (→Teorías Isabelle/HOL)
- 20:48 14 jul 2018 (dif | hist) . . (+4) . . Relación 7 (edición actual)
- 20:47 14 jul 2018 (dif | hist) . . (+4) . . R7 (edición actual)
- 20:47 14 jul 2018 (dif | hist) . . (+4) . . Relación 4 (edición actual)
- 20:46 14 jul 2018 (dif | hist) . . (+4) . . R4 (edición actual)
- 20:45 14 jul 2018 (dif | hist) . . (+4) . . Tema 2 (edición actual)
- 15:53 14 jul 2018 (dif | hist) . . (-22) . . MediaWiki:Common.css (edición actual)
- 15:28 14 jul 2018 (dif | hist) . . (+167) . . N MediaWiki:Common.css (Página creada con «→Los estilos CSS colocados aquí se aplicarán a todas las apariencias: @import url("https://maxcdn.bootstrapcdn.com/font-awesome/4.7.0/css/font-awesome.min.css");»)
- 10:25 25 mar 2018 (dif | hist) . . (-38) . . R5 (edición actual)
- 10:23 25 mar 2018 (dif | hist) . . (+55) . . R5
- 10:16 25 mar 2018 (dif | hist) . . (-10) . . R5
- 07:56 27 feb 2018 (dif | hist) . . (0) . . m Lógica matemática y fundamentos (2017-18) (Protegió «Lógica matemática y fundamentos (2017-18)» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 07:55 27 feb 2018 (dif | hist) . . (0) . . m Tema 2 (Protegió «Tema 2» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 07:50 27 feb 2018 (dif | hist) . . (+25 127) . . N Tema 2 (Página creada con '<source lang="isar"> chapter {* Tema 2: Deducción natural proposicional con Isabelle/HOL *} theory T2 imports Main begin text {* En este tema se presentan los ejemplos del...')
- 07:40 27 feb 2018 (dif | hist) . . (+339) . . Lógica matemática y fundamentos (2017-18)
- 13:39 19 feb 2018 (dif | hist) . . (0) . . N Archivo:R2E0a.png (edición actual)
- 13:38 19 feb 2018 (dif | hist) . . (+143) . . Relación 2 (→Relación 2: Deducción natural en lógica proposicional)