![](/img/cover-not-exists.png)
A subsystem of clasical analysis proper Takeuti's reduction method for $\prod^{1}_{1}$-analysis
Arai, ToshiyasuVolume:
9
Language:
english
Journal:
Tsukuba Journal of Mathematics
DOI:
10.21099/tkbjm/1496160191
Date:
June, 1985
File:
PDF, 669 KB
english, 1985