Lectures of Per Martin-Löf
Ansten Klev and Ivo Pezlar prepared the transcripts of lecutres of Per Martin-Löf
|
Oddělení logiky Filosofický ústav AV ČR, v.v.i. |
|
Ansten Klev and Ivo Pezlar prepared the transcripts of lecutres of Per Martin-Löf
|
Oddělení logiky Filosofický ústav AV ČR, v.v.i. |
|
