Wyniki
-
Gentzen systems and decision procedures for relevant logics
Steve Giambrone
Bulletin of the Section of Logic , 11 /3-4 (1982) s. 169-174
Steve Giambrone
Bulletin of the Section of Logic
, 11
/3-4
(1982)
s. 169-174