Vista de Kolmogorov, Heyting y Gentzen sobre las constantes lógicas intuicionistas

Volver a los detalles del artículo Kolmogorov, Heyting y Gentzen sobre las constantes lógicas intuicionistas Descargar Descargar PDF