| title: | On the Unity of Proof Treory |
|---|---|
| reg no: | ETF4497 |
| project type: | Estonian Science Foundation research grant |
| subject: |
1.1. Mathematics |
| status: | completed |
| institution: | Institute of Cybernetics at Tallinn Technical University |
| head of project: | Sergei Tupailo |
| duration: | 01.01.2001 - 31.12.2001 |
| project group | ||||
|---|---|---|---|---|
| no | name | institution | position | |
| 1. | Sergei Tupailo | Institute of Cybernetics at Tallinn Technical University | v.tead. | |