A. Bezubik, B. Kwaśniewski, K. Miakisz, U. Ostaszewska, K. Zajkowski
Characterizing the Existence of Optimal Proof Systems and Complete Sets for Promise Classes
Model Theory and Proof Theory of Arithmetic, Będlewo, Poland, Jul 22-28, 2012
Banach Center (org.)