Advertisement

Aufzählbarkeit Entscheidbarkeit Berechenbarkeit

Einführung in die Theorie der rekursiven Funktionen

  • Hans Hermes

Part of the Heidelberger Taschenbücher book series (HTB, volume 87)

Table of contents

  1. Front Matter
    Pages I-XIII
  2. Hans Hermes
    Pages 33-59
  3. Hans Hermes
    Pages 59-95
  4. Hans Hermes
    Pages 114-142
  5. Hans Hermes
    Pages 142-187
  6. Hans Hermes
    Pages 188-252
  7. Back Matter
    Pages 253-260

About this book

Keywords

Algorithmus Analysis Arithmetik Berechenbarkeit Funktion Rekursive Funktion

Authors and affiliations

  • Hans Hermes
    • 1
  1. 1.Abteilung für mathematische Logik und Grundlagen der MathematikMathematisches Institut der Albert-Ludwigs-UniversitäFreiburg i. Br.Deutschland

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-95327-9
  • Copyright Information Springer-Verlag Berlin Heidelberg 1978
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-08869-1
  • Online ISBN 978-3-642-95327-9
  • Series Print ISSN 0073-1684
  • Buy this book on publisher's site