| TAZ-TFG-2023-3732 |
Completitud de la lógica de primer orden (Teorema de Completitud de Gödel) y Teorema de Löwenheim-Skolem
León Muñoz, Cristina
Barrera Esteban, Fernando (dir.) ; Montaner Frutos, Fernando (dir.)
Universidad de Zaragoza,
CIEN,
2023
Graduado en Matemáticas
Tipo de Trabajo Académico: Trabajo Fin de Grado
Permalink:
El registro pertenece a las siguientes colecciones:
trabajos-academicos-universidad-zaragoza > centro > facultad-de-ciencias
trabajos-academicos-universidad-zaragoza > trabajos-fin-grado