Beweise und Programme : Anmerkungen zu Heytings Formalisierung der intuitionistischen Logik / Helmut Schwichtenberg
| Yayımlandı: | [BuA, 8].(2000) S. 71 - 96 |
|---|---|
| Yazar: | |
| Materyal Türü: | Makale |
| Dil: | German |
| İlgili Kayıtlar: | In:
[BuA, 8].(2000) |
| Tanımlama yok |
| Yayımlandı: | [BuA, 8].(2000) S. 71 - 96 |
|---|---|
| Yazar: | |
| Materyal Türü: | Makale |
| Dil: | German |
| İlgili Kayıtlar: | In:
[BuA, 8].(2000) |
| Tanımlama yok |