Počet záznamů: 1
Almost (MP)-based Substructural Logics
SYS 0361600 LBL 00754^^^^^2200181^^^450 005 20240103195411.2 100 $a 20110810d m y slo 03 ba 101 0-
$a eng 102 $a FR 200 1-
$a Almost (MP)-based Substructural Logics 215 $a 4 s. 463 -1
$1 001 cav_un_epca*0361598 $1 200 1 $a Topology, Algebra and Categories in Logic $v S. 107-110 $1 210 $a Marseille $d 2011 610 0-
$a nonassociative full Lambek calculus 610 0-
$a deduction theorem 700 -1
$3 cav_un_auth*0100737 $a Cintula $b Petr $i Oddělení teoretické informatiky $j Department of Theoretical Computer Science $p UIVT-O $w Department of Theoretical Computer Science $4 070 $T Ústav informatiky AV ČR, v. v. i. 701 -1
$3 cav_un_auth*0218332 $a Noguera $b C. $y ES
Počet záznamů: 1