UID:
almahu_9947367599102882
Format:
1 online resource (465 p.)
ISBN:
1-283-52573-9
,
9786613838186
,
0-08-095489-8
Series Statement:
Studies in logic and the foundations of mathematics ; v. 79
Content:
Provability, Computability and Reflection
Note:
Includes 12 papers from the symposium.
,
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.
,
English
Additional Edition:
ISBN 0-444-10545-X
Language:
English