Wahrheit und Beweisbarkeit : Heytings formale Regeln der intuitionistischen Logik und ihre philosophische Bedeutung / Carl Friedrich Gethmann

Бібліографічні деталі
Опубліковано в: :[BuA, 8].(2000) S. 45 - 70
Автор: Gethmann, Carl Friedrich (Автор)
Формат: Стаття
Мова:German
Пов'язані ресурси:In: [BuA, 8].(2000)