1.
Schwartz Y, Tourlakis G. On the proof-theory of a first-order extension of GL. LLP [Internet]. 2013 Sep. 18 [cited 2024 Jun. 23];23(3):329–363. Available from: https://apcz.umk.pl/LLP/article/view/LLP.2013.030