Recursion Theory Week

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.

שנה

1990

שפה

English

הוצאה

Springer

מהדורות

3

עמודים

393

ISBN

9783540527725

מקור הנתונים: Wikidata