Beweise und Programme : Anmerkungen zu Heytings Formalisierung der intuitionistischen Logik

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

Bibliografische gegevens
Gepubliceerd in:[BuA, 8].(2000) S. 71 - 96
Hoofdauteur: Schwichtenberg, Helmut (Auteur)
Formaat: Artikel
Taal:German
Gerelateerde Items:In: [BuA, 8].(2000)
Omschrijving
Geen beschrijving beschikbaar.

Gelijkaardige items