Počet záznamů: 1
Per Martin-Löf. Transcriptions
SYS 0565576 LBL 01000a^^22220027750^450 005 20240111141113.8 017 $2 DOI 100 $a 20221216d m y slo 03 ba 101 $a eng 102 $a CZ 200 1-
$a Per Martin-Löf. Transcriptions 210 $a Prague $c Filosofický ústav AV ČR $d 2022 215 $c E 610 $a Per Martin-Löf 610 $a constructive type theory 610 $a intuitionistic type theory 610 $a philosophy 610 $a transcriptions 700 -1
$3 cav_un_auth*0332052 $a Klev $b Ansten $p FLU-F $i Oddělení logiky $j Department of Logic $w Department of Logic $y NO $4 070 $T Filosofický ústav AV ČR, v. v. i. 701 -1
$3 cav_un_auth*0356824 $a Pezlar $b Ivo $p FLU-F $i Kabinet pro studium vědy, techniky a společnosti $j Centre for Science, Technology, and Society Studies $w Centre for Science, Technology, and Society Studies $y CZ $4 070 $T Filosofický ústav AV ČR, v. v. i. 856 $q online databáze $u https://pml.flu.cas.cz/ $9 RIV $s 3,5 MB
Počet záznamů: 1