Recursion on the Countable Functionals

  • Authors
  • Dag┬áNormann

Part of the Lecture Notes in Mathematics book series (LNM, volume 811)

Table of contents

  1. Front Matter
    Pages I-VIII
  2. Dag Normann
    Pages 1-22
  3. Dag Normann
    Pages 23-48
  4. Dag Normann
    Pages 49-79
  5. Dag Normann
    Pages 80-115
  6. Dag Normann
    Pages 116-144
  7. Dag Normann
    Pages 145-172
  8. Dag Normann
    Pages 173-185
  9. Back Matter
    Pages 186-191

About this book

Keywords

Maxima Rekursive Funktion computability function functional maximum recursion

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0098600
  • Copyright Information Springer-Verlag Berlin Heidelberg 1980
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-10019-5
  • Online ISBN 978-3-540-38170-9
  • Series Print ISSN 0075-8434
  • Series Online ISSN 1617-9692
  • About this book