Kolmogorov, Heyting and Gentzen on the intuitionistic logical constants

  1. Fernández Díez, Gustavo
Revue:
Crítica: revista hispanoamericana de filosofía

ISSN: 0011-1503

Année de publication: 2000

Volumen: 32

Número: 96

Pages: 43-57

Type: Article

DOI: 10.22201/IIFS.18704905E.2000.891 DIALNET GOOGLE SCHOLAR

D'autres publications dans: Crítica: revista hispanoamericana de filosofía