Todos los registros públicos
Vista combinada de todos los registros de Lógica matemática y fundamentos (2018-19). Puedes filtrar la vista seleccionando un tipo de registro, el nombre del usuario o la página afectada. Se distinguen mayúsculas de minúsculas.
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).- 13:14 7 feb 2019 Jalonso (discusión | contribuciones) protegió la página Razonamiento sobre árboles y bosques [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
- 13:13 7 feb 2019 Jalonso (discusión | contribuciones) protegió la página Razonamiento por casos y por inducci¢n [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
- 13:13 7 feb 2019 Jalonso (discusión | contribuciones) protegió la página Programación funcional en Isabelle/HOL [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
- 13:13 7 feb 2019 Jalonso (discusión | contribuciones) protegió la página Tema 4a [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
- 13:12 7 feb 2019 Jalonso (discusión | contribuciones) protegió la página Deducción natural proposicional con Isabelle/HOL [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
- 13:12 7 feb 2019 Jalonso (discusión | contribuciones) cambió el nivel de protección de Temas [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) [en cascada] (hist)
- 13:11 7 feb 2019 Jalonso (discusión | contribuciones) protegió la página Página principal [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
- 13:11 7 feb 2019 Jalonso (discusión | contribuciones) protegió la página Temas [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)