Počet záznamů: 1
Non-Constructive Procedural Theory of Propositional Problems and the Equivalence of Solutions
SYS 0508538 LBL 01000a^^22220027750^450 005 20240103222546.3 017 $2 DOI 100 $a 20190918d m y slo 03 ba 101 $a eng $d eng 102 $a GB 200 1-
$a Non-Constructive Procedural Theory of Propositional Problems and the Equivalence of Solutions 215 $a 14 s. $c P 463 -1
$1 001 cav_un_epca*0508537 $1 010 $a 978-1-84890-307-4 $1 200 1 $a The Logica Yearbook 2018 $v S. 197-210 $1 210 $a London $c College Publications $d 2019 $1 702 1 $4 340 $a Sedlár $b I. $1 702 1 $4 340 $a Blicha $b M. 610 $a Transparent Intensional Logic 610 $a procedural semantics 610 $a logic of problems 610 $a procedural isomorphism 700 -1
$3 cav_un_auth*0356824 $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 $4 070 $a Pezlar $b Ivo $p FLU-F $y CZ $T Filosofický ústav AV ČR, v. v. i.
Počet záznamů: 1