Dag Prawitz on Proofs and Meaning

The idea for the present volume goes back, as far as I remember, to a brainstorming among Ryszard Wójcicki, Jacek Malinowski, and myself at the Trends in Logic VII conference in Frankfurt/Main, September 2009. On the occasion of a meeting with a representative from Springer, Ryszard Wójcicki, qui...

Mô tả đầy đủ

Đã lưu trong:
Chi tiết về thư mục
Tác giả chính: Wansing, Heinrich
Định dạng: Sách
Ngôn ngữ:English
Được phát hành: Springer 2015
Những chủ đề:
Truy cập trực tuyến:https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/57413
Các nhãn: Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Miêu tả
Tóm tắt:The idea for the present volume goes back, as far as I remember, to a brainstorming among Ryszard Wójcicki, Jacek Malinowski, and myself at the Trends in Logic VII conference in Frankfurt/Main, September 2009. On the occasion of a meeting with a representative from Springer, Ryszard Wójcicki, quite enthusiastically, presented his thoughts on a new book series within the Studia Logica Library, an ambitious series meant to present Outstanding Contributions to Logic with volumes dedicated to eminent living logicians. It certainly comes as no surprise at all that during the brainstorming several important logicians immediately came to our minds and that Dag Prawitz was one of them...