Beweise und Programme : Anmerkungen zu Heytings Formalisierung der intuitionistischen Logik / Helmut Schwichtenberg
| Julkaisussa: | [BuA, 8].(2000) S. 71 - 96 |
|---|---|
| Päätekijä: | |
| Aineistotyyppi: | Artikkeli |
| Kieli: | German |
| Liittyvät tietueet: | In:
[BuA, 8].(2000) |
| Kuvausta ei saatavissa. |