Beweise und Programme : Anmerkungen zu Heytings Formalisierung der intuitionistischen Logik

Beweise und Programme : Anmerkungen zu Heytings Formalisierung der intuitionistischen Logik / Helmut Schwichtenberg

Détails bibliographiques
Publié dans:[BuA, 8].(2000) S. 71 - 96
Auteur principal: Schwichtenberg, Helmut (Auteur)
Format: Article
Langue:German
Documents similaires:In: [BuA, 8].(2000)
Description
Aucune description n'est disponible.

Documents similaires