Metamathematical investigation of intuitionistic arithmetic and analysis /
41
| Main Author: | |
|---|---|
| Format: | |
| Published: |
Berlin : Springer-Verlag,
1973
|
| Subjects: |
41
| Main Author: | |
|---|---|
| Format: | |
| Published: |
Berlin : Springer-Verlag,
1973
|
| Subjects: |