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) |
| LEADER | 00424naa a22001211c 4500 | ||
|---|---|---|---|
| 001 | a0046514 | ||
| 008 | 130913s gw ger d | ||
| 005 | 20240606152531.0 | ||
| 100 | 1 | |a Schwichtenberg, Helmut |4 aut | |
| 245 | 1 | 0 | |a Beweise und Programme |b Anmerkungen zu Heytings Formalisierung der intuitionistischen Logik |c Helmut Schwichtenberg |
| 336 | |b txt |2 rdacontent | ||
| 773 | 0 | 8 | |i In |t [BuA, 8].(2000) |d 2000 |w a0044585 |g S. 71 - 96 |
| 099 | 1 | |a 20130913 | |