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.
- 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)