Beweise und Programme : Anmerkungen zu Heytings Formalisierung der intuitionistischen Logik

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

Библиографические подробности
Опубликовано в: :[BuA, 8].(2000) S. 71 - 96
Главный автор: Schwichtenberg, Helmut (Автор)
Формат: Статья
Язык:German
Связанные документы:In: [BuA, 8].(2000)
Описание
Недоступно описание.

Схожие документы