Beweise und Programme : Anmerkungen zu Heytings Formalisierung der intuitionistischen Logik

Beweise und Programme : Anmerkungen zu Heytings Formalisierung der intuitionistischen Logik / Helmut Schwichtenberg

Opis bibliograficzny
Wydane w:[BuA, 8].(2000) S. 71 - 96
1. autor: Schwichtenberg, Helmut (Autor)
Format: Artykuł
Język:German
Podobne zapisy:In: [BuA, 8].(2000)
Opis
Nie ma specyfikacji.

Podobne zapisy