Modèle cohérent des réseaux de preuve.
| Autor: | Duquesne, Eric, Wiele, Jacques |
|---|---|
| Zdroj: | Archive for Mathematical Logic; Mar1994, Vol. 33 Issue 2, p131-158, 28p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|
| Autor: | Duquesne, Eric, Wiele, Jacques |
|---|---|
| Zdroj: | Archive for Mathematical Logic; Mar1994, Vol. 33 Issue 2, p131-158, 28p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|
Full text from SpringerLink