| Paper
Technical Report IPM / M / TR /233 |
School of Mathematics
|
| Title: |
Intuitionistic open induction and open least number principle and the buss operator
|
|
Author(s): |
| 1 . |
M. Ardeshir
| | 2 . |
M. Moniri
|
|
| No: |
IPM-1997-199
|
| Year: |
1997
|
| Supported by: |
IPM
|
|
| Abstract: |
|
|
|
back to top
|
