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 - 322016CZYSTY TEKST
G. Tourlakis, A New Arithmetically Incomplete First Order Extension of Gl All Theorems of Which Have Cut Free Proofs, Bulletin of the Section of Logic, 2016 / Tom 45 / Numer 1, s. 17 - 32
BIBTEX@Article{ authors = " G. Tourlakis", title = "A New Arithmetically Incomplete First Order Extension of Gl All Theorems of Which Have Cut Free Proofs", journal = "Bulletin of the Section of Logic", issue = "2016 / Tom 45 / Numer 1", pages = "17 - 32" }
