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

詳細記述

保存先:
書誌詳細
第一著者: 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
このレコードへの初めてのコメントを付けませんか!
この操作にはログインが必要です