Gert H. Müller – författare
Visar alla böcker från författaren Gert H. Müller. Handla med fri frakt och snabb leverans.
6 produkter
6 produkter
Del 120 - Lecture Notes in Mathematics
Decidable Theories
Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic
Häftad, Engelska, 1970
275 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
544 kr
Skickas inom 10-15 vardagar
E-bok
PDF, Engelska, 2006351 kr
Läs direkt efter köp
E-bok
PDF, Engelska, 2006687 kr
Läs direkt efter köp
E-bok
PDF, Engelska, 2006413 kr
Läs direkt efter köp
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.
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
383 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.