Zur Beschreibbarkeit der hyperarithmetischen reellen Zahlen mit analysiskonformen Mitteln /

Bibliographic Details

Main Author:	Thieler-Mevissen, Gerda
Format:	Thesis Book
Language:	German
Published:	Bonn : [publisher not identified], 1974.
Series:	Bonner mathematische Schriften ; Nr. 75.
Subjects:	Predicate calculus. Recursive functions. Numbers, Real.