Advertisement

© 1971

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit

Einführung in die Theorie der rekursiven Funktionen

Book

Part of the Heidelberger Taschenbücher book series (volume 109)

Table of contents

  1. Front Matter
    Pages I-X
  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-240
  7. Back Matter
    Pages 241-248

About this book

Keywords

Algorithmen Berechenbarkeit Entscheidbar Entscheidbarkeit Funktion Minimum Primitiv-rekursive Funktion Prädikate Prädikatenlogik Semi-Thue-System Turing Wortproblem rekursive Funktion rekursive Funktionen Äquivalenz

Authors and affiliations

  1. 1.Abteilung für mathematische LogikMathematisches Institut der Albert-Ludwigs-UniversitätFreiburg i. Br.Deutschland

Bibliographic information

  • Book Title Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit
  • Book Subtitle Einführung in die Theorie der rekursiven Funktionen
  • Authors H. Hermes
  • Series Title Heidelberger Taschenbücher
  • DOI https://doi.org/10.1007/978-3-642-96070-3
  • Copyright Information Springer-Verlag Berlin Heidelberg 1971
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Softcover ISBN 978-3-540-02675-4
  • eBook ISBN 978-3-642-96070-3
  • Series ISSN 0072-7830
  • Edition Number 2
  • Number of Pages , 0
  • Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
  • Topics Mathematical Logic and Foundations
  • Buy this book on publisher's site