http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
Enumerability, decidability, computability
an introduction to the theory of recursive functions
Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit. Αγγλικά
Hans Hermes ; translated by G. T. Hermann and O. Plassmann.
Μετάφραση του : Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit.
Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete 127