Beweise und Programme : Anmerkungen zu Heytings Formalisierung der intuitionistischen Logik

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

Chi tiết về thư mục
Xuất bản năm:[BuA, 8].(2000) S. 71 - 96
Tác giả chính: Schwichtenberg, Helmut (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)
Miêu tả
Mô tả không khả dụng.

Những quyển sách tương tự