0174069 - MU-W 950107 RIV GB eng C - Conference Paper (international conference)
Krajíček, Jan - Clote, P.
Open Problems.
Arithmetic, Proof Theory and Computational Complexity. Oxford: Oxford Press, 1993 - (Clote, P.; Krajíček, J.), s. 1-19
R&D Projects: GA AV ČR IAA119107
Permanent Link: http://hdl.handle.net/11104/0071086