Piotr Borowik
1 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
Many-sequent first order predicate logic Opublikowano w: Bulletin of the Section of Logic 1993 / Tom 22 / Numer 1 / s. 4 - 8ROK: 1993CZYSTY TEKSTBIBTEX
