ETA-RULES IN MARTIN-LÖF TYPE THEORY
| Autor: | KLEV, ANSTEN |
|---|---|
| Zdroj: | The Bulletin of Symbolic Logic, 2019 Sep 01. 25(3), 333-359. |
| Databáze: | JSTOR Journals |
| Externí odkaz: |
|
| Autor: | KLEV, ANSTEN |
|---|---|
| Zdroj: | The Bulletin of Symbolic Logic, 2019 Sep 01. 25(3), 333-359. |
| Databáze: | JSTOR Journals |
| Externí odkaz: |
|