Repositorio Institucional de Documentos

@article{LeónMuñoz:134440,
      author        = "León Muñoz, Cristina and Barrera Esteban, Fernando and
                       Montaner Frutos, Fernando",
      title         = "{Completitud de la lógica de primer orden (Teorema de
                       Completitud de Gödel) y Teorema de Löwenheim-Skolem}",
      year          = "2023",
}