The Nonderivability in Intuitionistic Formal Systems of Theorems on the Continuity of Effective Operations
| Autor: | Beeson, Michael J. |
|---|---|
| Zdroj: | The Journal of Symbolic Logic, 1975 Sep 01. 40(3), 321-346. |
| Databáze: | JSTOR Journals |
| Externí odkaz: |
|
| Autor: | Beeson, Michael J. |
|---|---|
| Zdroj: | The Journal of Symbolic Logic, 1975 Sep 01. 40(3), 321-346. |
| Databáze: | JSTOR Journals |
| Externí odkaz: |
|