Wyniki
-
A new axiomatization of K1
Heinrich Wansing
Bulletin of the Section of Logic , 25 /1 (1996) s. 60-62
Heinrich Wansing
Bulletin of the Section of Logic
, 25
/1
(1996)
s. 60-62