Hermes Hans Enumerability: Decidability computability - Berlin Springer-Verlag 1969 - x, 245p. cm. - Die grundlehren der mathematischen wissenschaften in enzeldarstellungen; 127 . Standard No.: 60918 Source: Textual Subjects--Topical Terms: Mathematics Dewey Class. No.: B, K91