Induction rules in bounded arithmetic.
| Autor: | Jeřábek, Emil1 (AUTHOR) jerabek@math.cas.cz |
|---|---|
| Zdroj: | Archive for Mathematical Logic. May2020, Vol. 59 Issue 3/4, p461-501. 41p. |
| Databáze: | Academic Search Ultimate |
| Externí odkaz: |
|
| Autor: | Jeřábek, Emil1 (AUTHOR) jerabek@math.cas.cz |
|---|---|
| Zdroj: | Archive for Mathematical Logic. May2020, Vol. 59 Issue 3/4, p461-501. 41p. |
| Databáze: | Academic Search Ultimate |
| Externí odkaz: |
|