Beweise und Programme : Anmerkungen zu Heytings Formalisierung der intuitionistischen Logik

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

Podrobná bibliografie
Vydáno v:[BuA, 8].(2000) S. 71 - 96
Hlavní autor: Schwichtenberg, Helmut (Autor)
Médium: Článek
Jazyk:German
Příbuzné jednotky:In: [BuA, 8].(2000)
Popis
Žádný popis.

Podobné jednotky