Beweise und Programme : Anmerkungen zu Heytings Formalisierung der intuitionistischen Logik / Helmut Schwichtenberg
| Foilsithe in: | [BuA, 8].(2000) S. 71 - 96 |
|---|---|
| Príomhchruthaitheoir: | |
| Formáid: | Alt |
| Teanga: | German |
| Le fáil in: | In:
[BuA, 8].(2000) |
| Níl cur síos ar fáil. |