Number of the records: 1
Interpolation theorems, lower bounds for proof systems, and independence results for bounded arithmetic
- 1.0174483 - MU-W 970128 RIV US eng J - Journal Article
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
Permanent Link: http://hdl.handle.net/11104/0071489
File Download Size Commentary Version Access Krajicek.pdf 1 495.1 KB Publisher’s postprint require
Number of the records: 1