Listar Proyectos de Grado por autor "Chavarría Gómez, Nicolás"
Mostrando ítems 1-1 de 1
-
Teoría de modelos y el teorema de Löwenheim-Skolem
Meave Montecinos, Martín (2019)El presente trabajo tiene el propósitode hacer una introducción alateoría de modelos y realizar la demostración del teorema de Löwenheim-Skolem, el cual se puede considerar uno de los teoremas fundamentales de la teoría ...