Košík

0173987 - MU-W 940057 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Krajíček, Jan - Buss, S. - Takeuti, G.
Provably Total Functions in Bounded Arithmetic Theories R .SUP.i .SUB.3 U.SUP.i .SUB.2 V.SUP.i .SUB.2.
Arithmetic, Proof Theory and Computational Complexity. Oxford: Oxford Press, 1993 - (Clote, P.; Krajíček, J.), s. 116-161
Grant CEP: GA AV ČR IAA119107
Trvalý link: http://hdl.handle.net/11104/0071007