Del 120 - Lecture Notes in Mathematics
Decidable Theories
Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic
Häftad, Engelska, 1970
281 kr
Skickas inom 10-15 vardagar
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 1141 - Lecture Notes in Mathematics
Recursion Theory Week
Proceedings of a Conference held in Oberwolfach, West Germany, April 15-21, 1984
Häftad, Engelska, 1985555 kr
Skickas inom 10-15 vardagar
- E-bokPDF, Engelska, 2006
367 kr
Läs direkt efter köp
- E-bokPDF, Engelska, 2006
712 kr
Läs direkt efter köp
- E-bokPDF, Engelska, 2006
431 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, 1990391 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.
