Počet záznamů: 1
The Justification of Identity Elimination in Martin-Lof’s Type Theory
SYS 0508058 LBL 01000a^^22220027750^450 005 20240103222505.4 014 $a 85028749094 $2 SCOPUS 014 $a 000481853300008 $2 WOS 017 $a 10.1007/s11245-017-9509-1 $2 DOI 100 $a 20190905d m y slo 03 ba 101 $a eng $d eng 102 $a NL 200 1-
$a The Justification of Identity Elimination in Martin-Lof’s Type Theory 215 $a 14 s. $c P 463 -1
$1 001 cav_un_epca*0508057 $1 011 $a 0167-7411 $1 200 1 $a Topoi: an international review of philosophy $v Roč. 38, č. 3 (2019), s. 577-590 $1 210 $c Springer 610 $a Justification of logical laws 610 $a Type theory 610 $a Identity 700 -1
$3 cav_un_auth*0332052 $4 070 $a Klev $b Ansten $p FLU-F $i Oddělení logiky $j Department of Logic $w Department of Logic $y NO $T Filosofický ústav AV ČR, v. v. i. 856 $9 RIV $u https://link.springer.com/article/10.1007%2Fs11245-017-9509-1
Počet záznamů: 1