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