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...

全面介紹

Đã lưu trong:
書目詳細資料
主要作者: Wansing, Heinrich
格式: 圖書
語言:English
出版: Springer 2015
主題:
在線閱讀:https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/57413
標簽: 添加標簽
沒有標簽, 成為第一個標記此記錄!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt