Number of the records: 1
Epimorphism Surjectivity in Varieties of Heyting Algebras
SYS 0532809 LBL 01000a^^22220027750^450 005 20240103224505.5 014 $a 85084860827 $2 SCOPUS 014 $a 000553439500003 $2 WOS 017 $a 10.1016/j.apal.2020.102824 $2 DOI 100 $a 20201006d m y slo 03 ba 101 $a eng 102 $a NL 200 1-
$a Epimorphism Surjectivity in Varieties of Heyting Algebras 215 $a 31 s. $c P 463 -1
$1 001 cav_un_epca*0256135 $1 011 $a 0168-0072 $e 1873-2461 $1 200 1 $a Annals of Pure and Applied Logic $v Roč. 171, č. 9 (2020) $1 210 $c Elsevier 610 $a Epimorphism 610 $a Heyting algebra 610 $a Esakia space 610 $a Intuitionistic logic 610 $a Intermediate logic 610 $a Beth definability 700 -1
$3 cav_un_auth*0333530 $a Moraschini $b Tommaso $p UIVT-O $i Oddělení teoretické informatiky $j Department of Theoretical Computer Science $w Department of Theoretical Computer Science $y ES $z K $T Ústav informatiky AV ČR, v. v. i. 701 -1
$3 cav_un_auth*0367951 $a Wannenburg $b J. J. $y ZA 856 $9 RIV $u http://dx.doi.org/10.1016/j.apal.2020.102824
Number of the records: 1