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

Bibliographische Detailangaben
Veröffentlicht in:[BuA, 8].(2000) S. 71 - 96
VerfasserIn: Schwichtenberg, Helmut (VerfasserIn)
Format: Aufsatz in Zeitschrift
Sprache:German
Ähnliche Datensätze:In: [BuA, 8].(2000)

Ähnliche Einträge