Format:
Online Ressource (viii, 456 pages)
Edition:
Online-Ausg. [S.l.] HathiTrust Digital Library Online-Ausg. [S.l.] : HathiTrust Digital Library
ISBN:
9780080954899
,
0080954898
,
9780444105455
Series Statement:
Studies in logic and the foundations of mathematics v. 79
Content:
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
Note:
Includes 12 papers from the symposium. - Includes bibliographical references (pages 445-451). - Print version record
,
Includes bibliographical references (pages 445-451)
,
Print version record
,
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002
,
pt. 1. Recursion in objects of finite typept. 2. Sets and ordinals -- pt. 3. Inductive definability -- pt. 4. Axiomatic approaches and general discussion -- pt. 5. A bibliography of generalized recursion theory.
,
Online-Ausg. [S.l.] : HathiTrust Digital Library
,
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
,
English
Additional Edition:
ISBN 044410545X
Additional Edition:
ISBN 0720422000
Additional Edition:
ISBN 0720422760
Additional Edition:
Erscheint auch als Druck-Ausgabe Symposium on Generalized Recursion Theory (1st : 1972 : University of Oslo) Generalized recursion theory Amsterdam : North-Holland Pub. Co. ; New York : American Elsevier Pub. Co, 1974
Language:
English
Subjects:
Mathematics
Keywords:
Rekursionstheorie
;
Electronic books
;
Electronic books
;
Konferenzschrift
;
Konferenzschrift
Author information:
Fenstad, Jens Erik 1935-2020
Bookmarklink