THE NORMALIZATION THEOREM FOR EXTENDED NATURAL DEDUCTION.
| Autor: | Borisavljević, Mirjana1 mirjanab@afrodita.rcub.bg.ac.rs |
|---|---|
| Zdroj: | Publications de l'Institut Mathématique. 2017, Vol. 101 Issue 115, p75-98. 24p. |
| Databáze: | Academic Search Ultimate |
| Externí odkaz: |
|