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
id I19-R125-Jev164
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-125
collection Memoria Académica - FaHCE (UNLP)
language Español
orig_language_str_mv spa
topic Filosofía
Lógica
spellingShingle Filosofía
Lógica
Durán, Cecilia
La condición del consecuente de la lógica de secuentes de Gentzen y la identificación de los teoremas intuicionistas
topic_facet Filosofía
Lógica
description Fil: Durán, Cecilia. Universidad Nacional de La Plata. Facultad de Humanidades y Ciencias de la Educación; Argentina.
format Documento de conferencia
Documento de conferencia
publishedVersion
author Durán, Cecilia
author_facet Durán, Cecilia
author_sort Durán, Cecilia
title La condición del consecuente de la lógica de secuentes de Gentzen y la identificación de los teoremas intuicionistas
title_short La condición del consecuente de la lógica de secuentes de Gentzen y la identificación de los teoremas intuicionistas
title_full La condición del consecuente de la lógica de secuentes de Gentzen y la identificación de los teoremas intuicionistas
title_fullStr La condición del consecuente de la lógica de secuentes de Gentzen y la identificación de los teoremas intuicionistas
title_full_unstemmed La condición del consecuente de la lógica de secuentes de Gentzen y la identificación de los teoremas intuicionistas
title_sort la condición del consecuente de la lógica de secuentes de gentzen y la identificación de los teoremas intuicionistas
publishDate 2002
url 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
work_keys_str_mv AT durancecilia lacondiciondelconsecuentedelalogicadesecuentesdegentzenylaidentificaciondelosteoremasintuicionistas
bdutipo_str Repositorios
_version_ 1764820494771552256

Ejemplares similares