Beweise und Programme : Anmerkungen zu Heytings Formalisierung der intuitionistischen Logik

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

Bibliografske podrobnosti
izdano v:[BuA, 8].(2000) S. 71 - 96
Glavni avtor: Schwichtenberg, Helmut (VerfasserIn)
Format: Aufsatz in Zeitschrift
Jezik:German
Sorodne knjige/članki:In: [BuA, 8].(2000)
Opis
Opisa ni na voljo.

Podobne knjige/članki