Počet záznamů: 1
The placeholder view of assumptions and the Curry–Howard correspondence
SYS 0546332 LBL 01000a^^22220027750^450 005 20230418204259.5 014 $a 85085971427 $2 SCOPUS 014 $a 000537329100001 $2 WOS 017 $a 10.1007/s11229-020-02706-z $2 DOI 100 $a 20211008d m y slo 03 ba 101 $a eng $d eng 102 $a NL 200 1-
$a The placeholder view of assumptions and the Curry–Howard correspondence 215 $a 17 s. $c P 463 -1
$1 001 cav_un_epca*0251943 $1 011 $a 0039-7857 $e 1573-0964 $1 200 1 $a Synthese $v Roč. 198, č. 11 (2021), s. 10109-10125 $1 210 $c Springer 610 $a Placeholder view of assumptions 610 $a Assumption withdrawing 610 $a Curry-Howard correspondence 610 $a Natural deduction 610 $a Intuitionistic propositional logic 700 -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 $z K $T Filosofický ústav AV ČR, v. v. i. 856 $u https://doi.org/10.1007/s11229-020-02706-z $9 RIV
Počet záznamů: 1