Lectures of Per Martin-Löf
Ansten Klev and Ivo Pezlar prepared the transcripts of lecutres of Per Martin-Löf
Pavel Arazim: The Problem of Plurality of Logics (Bloomsbury, 2021)
|
Oddělení logiky Filosofický ústav AV ČR, v.v.i. |
|
