A. Bezubik, T. Czyżycki, A. Dobrogowska, T. Goliński, G. Jakimowicz, R. Jankowski, A. Sliżewska, I. Tsyfra, K. Zajkowski, M. Zdanowicz
Optimal proof systems and complete languages
4th Conference on Computability in Europe - Logic and Theory of Algorithms, Athens, Greece, Jun 15-20, 2008
Computability in Europe (org.)