Polynomial induction and length minimization in intuitionistic bounded arithmetic.
| Autor: | Moniri, Morteza1,2 ezmoniri@ipm.ir |
|---|---|
| Zdroj: | Mathematical Logic Quarterly. Jan2005, Vol. 51 Issue 1, p73-76. 4p. |
| Databáze: | Academic Search Ultimate |
| Externí odkaz: |
|
| Autor: | Moniri, Morteza1,2 ezmoniri@ipm.ir |
|---|---|
| Zdroj: | Mathematical Logic Quarterly. Jan2005, Vol. 51 Issue 1, p73-76. 4p. |
| Databáze: | Academic Search Ultimate |
| Externí odkaz: |
|