Intuitionistic logic and implicit definability
| Autor: | Maksimova, Larisa |
|---|---|
| Zdroj: | In Annals of Pure and Applied Logic 2000 105(1):83-102 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Maksimova, Larisa |
|---|---|
| Zdroj: | In Annals of Pure and Applied Logic 2000 105(1):83-102 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect