Generalized recursion theory : Proceedings of the 1972 Oslo symposium /
Saved in:
Corporate Authors: | ; |
---|---|
Group Author: | ; |
Published: |
North-Holland Pub. Co. ; American Elsevier Pub. Co.,
|
Publisher Address: | Amsterdam : New York : |
Publication Dates: | 1974. |
Literature type: | eBook |
Language: | English |
Series: |
Studies in logic and the foundations of mathematics ;
v. 79 |
Subjects: | |
Online Access: |
http://www.sciencedirect.com/science/bookseries/0049237X/79 |
Item Description: | Includes 12 papers from the symposium. |
Carrier Form: | 1 online resource (viii, 456 pages). |
Bibliography: | Includes bibliographical references (pages 445-451). |
ISBN: |
9780080954899 0080954898 |
Index Number: | QA9 |
CLC: | O141.3-532 |
Contents: | pt. 1. Recursion in objects of finite type -- pt. 2. Sets and ordinals -- pt. 3. Inductive definability -- pt. 4. Axiomatic approaches and general discussion -- pt. 5. A bibliography of generalized recursion theory. |