| Paper
Technical Report IPM / M / TR /300 |
School of Mathematics
|
| Title: |
A bounded translation of intuitionistic propositional logic into basic propositional logic
|
|
Author(s): |
| 1 . |
M. Aghaei
| | 2 . |
M. Ardeshir
|
|
| No: |
IPM-1998-297
|
| Year: |
1998
|
| Supported by: |
IPM
|
|
| Abstract: |
|
|
|
back to top
|
