Cover is for reference only

Generalized recursion theory : Proceedings of the 1972 Oslo symposium /

Saved in:
Bibliographic Details
Corporate Authors: Symposium on Generalized Recursion Theory University of Oslo; Elsevier Science & Technology
Group Author: Fenstad, Jens Erik; Hinman, Peter G
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:
Recursion theory > Congresses
Fonctions re cursives
MATHEMATICS > Infinity
MATHEMATICS > Logic
Recursion theory
Kongress
Rekursionstheorie
Electronic books
Conference papers and proceedings
Oslo 1972
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.

Related Book Recommendations