Gert H. Müller - Böcker
Visar alla böcker från författaren Gert H. Müller. Handla med fri frakt och snabb leverans.
3 produkter
3 produkter
Del 120 - Lecture Notes in Mathematics
Decidable Theories
Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic
Häftad, Engelska, 1970
271 kr
Skickas inom 10-15 vardagar
Del 1141 - Lecture Notes in Mathematics
Recursion Theory Week
Proceedings of a Conference held in Oberwolfach, West Germany, April 15-21, 1984
Häftad, Engelska, 1985
535 kr
Skickas inom 7-10 vardagar
Del 1432 - Lecture Notes in Mathematics
Recursion Theory Week
Proceedings of a Conference held in Oberwolfach, FRG, March 19-25, 1989
Häftad, Engelska, 1990
377 kr
Skickas inom 10-15 vardagar
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.