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.)
As part of our website, we use cookies stored on the user's device in order to adapt the website's behavior to the user's individual preferences and for statistical purposes. You can change your cookie settings in your web browser yourself. For more information, please see the Privacy Policy of the University of Białystok. By using this website, you consent to the use of cookies in accordance with your browser settings.
