O.F. Serebriannikov
1 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
Cut-elimination in second order logic Opublikowano w: Bulletin of the Section of Logic 1988 / Tom 17 / Numer 3-4 / s. 159 - 161ROK: 1988CZYSTY TEKSTBIBTEX
