General recursion theory : an axiomatic approach /
Κύριος συγγραφέας: | Fenstad, Jens Erik (συγγραφέας.) |
---|---|
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Berlin ; New York :
Springer-Verlag,
1980.
|
Σειρά: | Perspectives in mathematical logic
|
Θέματα: |
Παρόμοια τεκμήρια
-
Theory of recursive functions and effective computability
ανά: Hartley, Rogers
Έκδοση: (1967) -
Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984 /
Έκδοση: (1985) -
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)