Advertisement

© 1984

Techniques of Admissible Recursion Theory

  • Authors
Book

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

Table of contents

  1. Front Matter
    Pages I-VIII
  2. Chi-Tat Chong
    Pages 1-36
  3. Chi-Tat Chong
    Pages 37-48
  4. Chi-Tat Chong
    Pages 49-71
  5. Chi-Tat Chong
    Pages 72-89
  6. Chi-Tat Chong
    Pages 90-113
  7. Chi-Tat Chong
    Pages 114-126
  8. Chi-Tat Chong
    Pages 127-137
  9. Chi-Tat Chong
    Pages 138-164
  10. Chi-Tat Chong
    Pages 165-180
  11. Chi-Tat Chong
    Pages 181-195
  12. Back Matter
    Pages 196-214

About this book

Keywords

Finite Kurve (Math.) Modell (Math. Logik) computability theory recursion theorem

Bibliographic information

  • Book Title Techniques of Admissible Recursion Theory
  • Authors C. T. Chong
  • Series Title Lecture Notes in Mathematics
  • Series Abbreviated Title Lecture Notes in Mathematics
  • DOI https://doi.org/10.1007/BFb0099164
  • Copyright Information Springer-Verlag Berlin Heidelberg 1984
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Softcover ISBN 978-3-540-13902-7
  • eBook ISBN 978-3-540-39121-0
  • Series ISSN 0075-8434
  • Series E-ISSN 1617-9692
  • Edition Number 1
  • Number of Pages XII, 220
  • Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
  • Topics Mathematical Logic and Foundations
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking