Hans Hermes

Enumerability, Decidability, Computability - 1965 - Springer Berlin Heidelberg 1965 - Grundlehren der mathematischen Wissenschaften .

9783662116869


Mathematics and Statistics