Wahrheit und Beweisbarkeit : Heytings formale Regeln der intuitionistischen Logik und ihre philosophische Bedeutung / Carl Friedrich Gethmann
Xuất bản năm: | [BuA, 8].(2000) S. 45 - 70 |
---|---|
Tác giả chính: | |
Định dạng: | Bài viết |
Ngôn ngữ: | German |
Các quyển sách có liên quan: | In:
[BuA, 8].(2000) |
Mô tả không khả dụng. |