Wyniki
-
Many-sequent first order predicate logic
Piotr Borowik
Bulletin of the Section of Logic , 22 /1 (1993) s. 4-8
Piotr Borowik
Bulletin of the Section of Logic
, 22
/1
(1993)
s. 4-8