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.

• 10:43 13 may 2019 Jalonso (discusión | contribuciones) trasladó la página Desarrollo de teor¡as formalizadas con Isabelle/HOL a Desarrollo de teorías formalizadas con Isabelle/HOL