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

Chi tiết về thư mục
Xuất bản năm:[BuA, 8].(2000) S. 45 - 70
Tác giả chính: Gethmann, Carl Friedrich (Tác giả)
Đị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)