TY - BOOK AU - Hermes Hans TI - Enumerability: Decidability computability T2 - Die grundlehren der mathematischen wissenschaften in enzeldarstellungen; 127 U1 - B, K91 PY - 1969/// CY - Berlin PB - Springer-Verlag KW - Mathematics ER -