Klaua, Dieter Konstruktive Analysis. (German) Zbl 0102.25102 Mathematische Forschungsberichte. 11. Berlin: VEB Deutscher Verlag der Wissenschaften. VII, 159 S. (1961). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 5 Documents Keywords:logics, foundations, philosophy PDFBibTeX XML