Enumerability, decidability, computability :
Hermes, Hans
Enumerability, decidability, computability : an introduction to the theory of recursive functions / Hans Hermes ; translated by G. T. Hermann and O. Plassmann. - 2d rev. ed. - Berlin ; New York : Springer, 1969. - x, 245 σ. ; 24 εκ. - Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete 127. . - Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete 127. .
Μετάφραση του : Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit.
76089552
Λογική, Συμβολική και μαθηματική
511.352
Enumerability, decidability, computability : an introduction to the theory of recursive functions / Hans Hermes ; translated by G. T. Hermann and O. Plassmann. - 2d rev. ed. - Berlin ; New York : Springer, 1969. - x, 245 σ. ; 24 εκ. - Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete 127. . - Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete 127. .
Μετάφραση του : Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit.
76089552
Λογική, Συμβολική και μαθηματική
511.352