La condición del consecuente de la lógica de secuentes de Gentzen y la identificación de los teoremas intuicionistas
Fil: Durán, Cecilia. Universidad Nacional de La Plata. Facultad de Humanidades y Ciencias de la Educación; Argentina.
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Documento de conferencia publishedVersion |
| Lenguaje: | Español |
| Publicado: |
2002
|
| Materias: | |
| 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: |
| Sumario: | Fil: Durán, Cecilia. Universidad Nacional de La Plata. Facultad de Humanidades y Ciencias de la Educación; Argentina. |
|---|