Wahrheit und Beweisbarkeit : Heytings formale Regeln der intuitionistischen Logik und ihre philosophische Bedeutung / Carl Friedrich Gethmann
Опубліковано в: : | [BuA, 8].(2000) S. 45 - 70 |
---|---|
Автор: | |
Формат: | Стаття |
Мова: | German |
Пов'язані ресурси: | In:
[BuA, 8].(2000) |
Опис недоступний. |