![](/img/cover-not-exists.png)
Formal systems for some branches of intuitionistic analysis
G. Kreisel, A.S. TroelstraVolume:
1
Year:
1970
Language:
english
Pages:
159
DOI:
10.1016/0003-4843(70)90001-x
File:
PDF, 5.74 MB
english, 1970