|
|
Alexander Kechris and Yiannis N. Moschovakis (1977): Recursion in higher types
| Title: |
Recursion in higher types |
| Author(s): |
Alexander Kechris and Yiannis N. Moschovakis |
| Year: |
1977 |
| Booktitle: |
Studies in logic and the foundations of mathematics. 90. |
| Editor(s): |
Jon Barwise |
| Chapter: |
C6 |
| Pages: |
681-738 |
| Publisher: |
North--Holland |
| Address: |
Amsterdam |
Concepts
|
|
