On Uniformly Constructive and Semiconstructive Formal Systems.
| Autor: | Ferrari, Mauro1, Miglioli, Pierangelo1, Ornaghi, Mario1 |
|---|---|
| Zdroj: | Logic Journal of the IGPL. 2003, Vol. 11 Issue 1, p1-49. 49p. |
| Databáze: | Business Source Ultimate |
| Externí odkaz: |
|
| Autor: | Ferrari, Mauro1, Miglioli, Pierangelo1, Ornaghi, Mario1 |
|---|---|
| Zdroj: | Logic Journal of the IGPL. 2003, Vol. 11 Issue 1, p1-49. 49p. |
| Databáze: | Business Source Ultimate |
| Externí odkaz: |
|