Natural deduction: a proof-theoretical study: [dissertation] / Dag Prawitz

Автор: Prawitz, Dag
Вид документа: Продолжающиеся издания
Опубликовано: Stockholm [etc.] : Almqvist & Wiksell, 1965
Язык: Английский
Серия: Acta Universitatis Stockholmiensis Stockholm studies in philosophy ; 3