George Tourlakis
1 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
On the proof-theory of a first-order extension of GL Opublikowano w: Logic and Logical Philosophy 2014 / Tom 23 / Numer 3 / s. 329 - 3632014CZYSTY TEKST
Yehuda Schwartz, George Tourlakis, On the proof-theory of a first-order extension of GL, Logic and Logical Philosophy, 2014 / Tom 23 / Numer 3, s. 329 - 363
BIBTEX@Article{ authors = " Yehuda Schwartz, George Tourlakis", title = "On the proof-theory of a first-order extension of GL", journal = "Logic and Logical Philosophy", issue = "2014 / Tom 23 / Numer 3", pages = "329 - 363" }