0174069 - MU-W 950107 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
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
Grant CEP: GA AV ČR IAA119107
Trvalý link: http://hdl.handle.net/11104/0071086