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