0173998 - MU-W 940112 RIV GB eng C - Conference Paper (international conference)
Baaz, M. - Pudlák, Pavel
Kreisel's conjecture for L.SUB.1.
Arithmetic Proof Theory and Computational Complexity. Oxford: Oxford University Press, 1993 - (Clote, P.; Krajíček, J.), s. 30-49
R&D Projects: GA AV ČR IAA119107
Permanent Link: http://hdl.handle.net/11104/0071017