La condición del consecuente de la lógica de secuentes de Gentzen y la identificación de los teoremas intuicionistas

Mostrar todas las versiones(3)

Fil: Durán, Cecilia. Universidad Nacional de La Plata. Facultad de Humanidades y Ciencias de la Educación; Argentina.

Guardado en:
Detalles Bibliográficos
Autor principal: Durán, Cecilia
Formato: Documento de conferencia publishedVersion
Lenguaje:Español
Publicado: 2002
Materias:
Filosofía
Lógica
Acceso en línea:https://www.memoria.fahce.unlp.edu.ar/trab_eventos/ev.164/ev.164.pdf
https://www.memoria.fahce.unlp.edu.ar/library?a=d&c=eventos&d=Jev164
Aporte de:
Memoria Académica - FaHCE (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Ejemplares similares