Počet záznamů: 1
Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science
SYS 0488936 LBL 01000a^^22220027750^450 005 20240103215918.0 017 $a 10.1007/978-3-319-74772-9_2 $2 DOI 100 $a 20180413d m y slo 03 ba 101 $a eng 102 $a CH 200 1-
$a Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic 215 $9 454 $a 27 s. $c P 463 -1
$1 001 cav_un_epca*0488935 $1 010 $a 978-3-319-74771-2 $1 011 $a 2211-2758 $1 200 1 $a Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science $v S. 53-79 $1 210 $a Cham $c Springer $d 2018 $1 225 $a Outstanding Contributions to Logic $v 16 $1 702 1 $4 340 $a Czelakowski $b J. 610 $a Abstract algebraic logic 610 $a Leibniz hierarchy 610 $a Frege hierarchy 610 $a truth-equational logics 610 $a assertional logics 610 $a Fregean logics 610 $a full generalized models 610 $a unital matrices 700 -1
$3 cav_un_auth*0348876 $a Albuquerque $b H. $y ES 701 -1
$3 cav_un_auth*0207795 $a Font $b J.M. $y ES 701 -1
$3 cav_un_auth*0350411 $a Jansana $b R. $y ES 701 -1
$3 cav_un_auth*0333530 $a Moraschini $b Tommaso $i Oddělení teoretické informatiky $j Department of Theoretical Computer Science $p UIVT-O $w Department of Theoretical Computer Science $y ES $T Ústav informatiky AV ČR, v. v. i. 856 $9 RIV $u https://link.springer.com/book/10.1007/978-3-319-74772-9
Počet záznamů: 1