![](/img/cover-not-exists.png)
[Lecture Notes in Mathematics] Metamathematical Investigation of Intuitionistic Arithmetic and Analysis Volume 344 || Intuitionistic formal systems
Troelstra, A. S.Volume:
10.1007/BF
Year:
1973
DOI:
10.1007/bfb0066740
File:
PDF, 38.61 MB
1973