Interpolation Theorems, Lower Bounds for Proof Systems, and Independence Results for Bounded Arithmetic
| Autor: | Krajíček, Jan |
|---|---|
| Zdroj: | The Journal of Symbolic Logic, 1997 Jun 01. 62(2), 457-486. |
| Databáze: | JSTOR Journals |
| Externí odkaz: |
|
| Autor: | Krajíček, Jan |
|---|---|
| Zdroj: | The Journal of Symbolic Logic, 1997 Jun 01. 62(2), 457-486. |
| Databáze: | JSTOR Journals |
| Externí odkaz: |
|