Lógica matemática y fundamentos (2018-19)
Lógica matemática y fundamentos (2018-19)
Navegación
Página principal
Temas
Ejercicios
Cambios recientes
Ayudas
Ayuda de LaTeX
Lógica en LaTeX
Conjuntos en LaTeX
Herramientas
Lo que enlaza aquí
Cambios relacionados
Páginas especiales
Versión para imprimir
Enlace permanente
Información de la página
Acciones
Página
Discusión
Editar
Historial
Desarrollo de teor¡as formalizadas con Isabelle/HOL
De Lógica matemática y fundamentos (2018-19)
Revisión del 10:43 13 may 2019 de
Jalonso
(
discusión
|
contribuciones
)
(dif) ← Revisión anterior | Revisión actual (dif) | Revisión siguiente → (dif)
Página de redirección
Redirige a:
Desarrollo de teorías formalizadas con Isabelle/HOL