Beweise und Programme : Anmerkungen zu Heytings Formalisierung der intuitionistischen Logik / Helmut Schwichtenberg
| Veröffentlicht in: | [BuA, 8].(2000) S. 71 - 96 |
|---|---|
| VerfasserIn: | |
| Format: | Aufsatz in Zeitschrift |
| Sprache: | German |
| Ähnliche Datensätze: | In:
[BuA, 8].(2000) |
| Keine Beschreibung verfügbar. |