Počet záznamov: 1
Sequent and hypersequent calculi for Abelian and Łukasiewicz logics
SYS stu158769 LBL 00000naa--22000003a-4500 005 20150617230001.8 008 080227s2005------------------------eng-d 040 $a STU $b slo 041 0-
$a eng 100 1-
$a Metcalfe, George $4 aut $7 stu_us_auth*stu74878 245 1-
$a Sequent and hypersequent calculi for Abelian and Łukasiewicz logics 700 1-
$a Olivetti, Nikola $4 aut $7 stu_us_auth*stu74879 700 1-
$a Gabbay, Dov M. $4 aut $7 stu_us_auth*stu73338 773 0-
$7 nnas $t ACM Transactions on Computational Logic $w stu_us_cat*stu158768 $g Vol. 6, No. 3 (2005), s.578-613
Počet záznamov: 1