Klaus Ambos-Spies, Gert H. Müller, Gerald E. Sacks
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.
These proceedings contain research and survey papers from many subfields of recursion theory, with emphasis on degree theory, in particular the develo...
This invaluable book is a collection of 31 important -- both in ideas and results -- papers published by mathematical logicians in the 20th Century. The papers have been selected by Professor Gerald E Sacks. Some of the authors are Godel, Kleene, Tarski, A Robinson, Kreisel, Cohen, Morley, Shelah, Hrushovski and Woodin.
This invaluable book is a collection of 31 important -- both in ideas and results -- papers published by mathematical logicians in the 20th Century. T...
