G. Tourlakis
1 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
A New Arithmetically Incomplete First Order Extension of Gl All Theorems of Which Have Cut Free Proofs Opublikowano w: Bulletin of the Section of Logic 2016 / Tom 45 / Numer 1 / s. 17 - 32ROK: 2016CZYSTY TEKSTBIBTEX
