La condición del consecuente de la lógica de secuentes de Gentzen y la identificación de los teoremas intuicionistas
| Publicado en: | Jornadas de Investigación en Filosofía (4 : 2002 : La Plata) - [Actas], 2003 - . |
|---|---|
| Autor Principal: | |
| Formato: | Documento de evento |
| Acceso en línea: | https://www.memoria.fahce.unlp.edu.ar/trab_eventos/ev.164/ev.164.pdf |
| Descripción no disponible. |