![](/img/cover-not-exists.png)
[Lecture Notes in Mathematics] Logic Symposia Hakone 1979, 1980 Volume 891 || The Hahn-Banach theorem and a restricted inductive definition
Müller, Gert H., Takeuti, Gaisi, Tugué, TosiyukiVolume:
10.1007/BF
Year:
1981
Language:
english
DOI:
10.1007/bfb0090989
File:
PDF, 899 KB
english, 1981