Počet záznamů: 1
Interpolation theorems, lower bounds for proof systems, and independence results for bounded arithmetic
- 1.0174483 - MU-W 970128 RIV US eng J - Článek v odborném periodiku
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
Grant CEP: GA AV ČR IAA1019602
Impakt faktor: 0.413, rok: 1997
Trvalý link: http://hdl.handle.net/11104/0071489
Název souboru Staženo Velikost Komentář Verze Přístup Krajicek.pdf 1 495.1 KB Vydavatelský postprint vyžádat
Počet záznamů: 1