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 - 1611988CZYSTY TEKST
O.F. Serebriannikov, Cut-elimination in second order logic, Bulletin of the Section of Logic, 1988 / Tom 17 / Numer 3-4, s. 159 - 161
BIBTEX@Article{ authors = " O.F. Serebriannikov", title = "Cut-elimination in second order logic", journal = "Bulletin of the Section of Logic", issue = "1988 / Tom 17 / Numer 3-4", pages = "159 - 161" }
