Enumerability, Decidability, Computability. An Introduction to the Theory of Recursive Functions. Bln., Springer 1965. IX, 245 p. OCloth. (slightly stained).- Grundlehren der mathematischen Wissenschaften, 127.- Throughout slightly browned.

HERMES, Hans

Riguardo questo articolo

Codice articolo 9962

Dati bibliografici

• Titolo: Enumerability, Decidability, Computability. An Introduction to the Theory of Recursive Functions. Bln., Springer 1965. IX, 245 p. OCloth. (slightly stained).- Grundlehren der mathematischen Wissenschaften, 127.- Throughout slightly browned.