Basket

0173987 - MU-W 940057 RIV GB eng C - Conference Paper (international conference)
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
R&D Projects: GA AV ČR IAA119107
Permanent Link: http://hdl.handle.net/11104/0071007