A subsystem of clasical analysis proper Takeuti's reduction...

A subsystem of clasical analysis proper Takeuti's reduction method for $\prod^{1}_{1}$-analysis

Arai, Toshiyasu
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
9
Language:
english
Journal:
Tsukuba Journal of Mathematics
DOI:
10.21099/tkbjm/1496160191
Date:
June, 1985
File:
PDF, 669 KB
english, 1985
Conversion to is in progress
Conversion to is failed