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
Предметы:
Online-ссылка:https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/57413
Метки: Добавить метку
Нет меток, Требуется 1-ая метка записи!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt