Characterizing the Existence of Optimal Proof Systems and Complete Sets for Promise Classes

04.08.2021

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.)

©2022 Wszystkie prawa zastrzeżone.