Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984 /
Άλλοι συγγραφείς: | Ebbinghaus, Heinz-Dieter, 1939- (επιμελητής.), Müller, G. H. 1923- (Gert Heinz) (επιμελητής.), Sacks, Gerald E. (επιμελητής.) |
---|---|
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Berlin ; New York :
Springer-Verlag,
c1985.
|
Σειρά: | Lecture notes in mathematics (Springer-Verlag)
1141. |
Θέματα: |
Παρόμοια τεκμήρια
-
General recursion theory : an axiomatic approach /
ανά: Fenstad, Jens Erik
Έκδοση: (1980) -
Theory of recursive functions and effective computability
ανά: Hartley, Rogers
Έκδοση: (1967) -
Recursion theory for metamathematics
ανά: Smullyan, Raymond M.
Έκδοση: (1993) -
Classical recursion theory : the theory of functions and sets of natural numbers /
ανά: Odifreddi, Piergiorgio, 1950-
Έκδοση: (1989) -
Solutions to selected problems to accompany switching and finite automata theory /
ανά: Kohavi, Zvi
Έκδοση: (1970)