Počet záznamů: 1
Provably Total Functions in Bounded Arithmetic Theories R .SUP.i .SUB.3 U.SUP.i .SUB.2 V.SUP.i .SUB.2
- 1.Krajíček, J., 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. In: CLOTE, P., KRAJÍČEK, J., eds. Arithmetic, Proof Theory and Computational Complexity. Oxford: Oxford Press, 1993, s. 116-161.
Počet záznamů: 1