Skip to main content alibris logo
Recursion Theory Week - Ambos-Spies, Klaus (Editor), and Müller, Gert H (Editor), and Sacks, Gerald E (Editor)
Filter Results
Shipping
Item Condition
Seller Rating
Other Options
Change Currency

These proceedings contain research and survey papers from many subfields of recursion theory, with emphasis on degree theory, in particular the development of frameworks for current techniques in this field. Other topics covered include computational complexity theory, generalized recursion theory, proof theoretic questions in recursion theory, and recursive mathematics.

loading
Recursion Theory Week 1990, Springer, Berlin, Heidelberg

ISBN-13: 9783540527725

1990 edition

Trade paperback