Automatización para el entorno Isabelle / ZF

Mostrar todas las versiones(2)

Tesis (Lic. en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2021.

Guardado en:
Detalles Bibliográficos
Autor principal: Steinberg, Matías Uriel
Otros Autores: Pagano, Miguel María
Formato: bachelorThesis
Lenguaje:Español
Publicado: 2021
Materias:
Formalización
Relativización
Hipótesis del continuo
Isabelle / ZF
Theory of computation
Logic
Forcing
Acceso en línea:http://hdl.handle.net/11086/17550
Aporte de:
Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba
Descripción
Sumario:Tesis (Lic. en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2021.

Ejemplares similares