Krajíček, Jan
Interpolation theorems, lower bounds for proof systems, and independence results for bounded arithmetic.
Journal of Symbolic Logic. Roč. 62, č. 2 (1997), s. 457-486. ISSN 0022-4812. E-ISSN 1943-5886
R&D Projects: GA AV ČR IAA1019602
Impact factor: 0.413, year: 1997
http://hdl.handle.net/11104/0071489