Number of the records: 1
The lattice of super-Belnap logics
SYS 0453150 LBL 00807^^^^^2200217^^^450 005 20240103211512.6 100 $a 20160105d m y slo 03 ba 101 0-
$a eng 102 $a CH 200 1-
$a The lattice of super-Belnap logics 463 -1
$1 001 cav_un_epca*0453147 $1 200 1 $a ManyVal 2015 $v S. 30-31 $1 210 $c University of Bern $d 2015 700 -1
$3 cav_un_auth*0306220 $i Oddělení teoretické informatiky $j Department of Theoretical Computer Science $w Department of Theoretical Computer Science $4 070 $a Přenosil $b Adam $p UIVT-O $T Ústav informatiky AV ČR, v. v. i.
Number of the records: 1