Classical recursion theory : the theory of functions and sets of natural numbers /
Κύριος συγγραφέας: | Odifreddi, Piergiorgio, 1950- (συγγραφέας.) |
---|---|
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Amsterdam ; New York : New York, N.Y., USA :
North-Holland ; Sole distributors for the USA and Canada, Elsevier Science Pub. Co.,
1989-1999.
|
Σειρά: | Studies in logic and the foundations of mathematics
125, 143. |
Θέματα: |
Παρόμοια τεκμήρια
-
Recursion theory for metamathematics
ανά: Smullyan, Raymond M.
Έκδοση: (1993) -
Theory of recursive functions and effective computability
ανά: Hartley, Rogers
Έκδοση: (1967) -
General recursion theory : an axiomatic approach /
ανά: Fenstad, Jens Erik
Έκδοση: (1980) -
Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984 /
Έκδοση: (1985) -
Solutions to selected problems to accompany switching and finite automata theory /
ανά: Kohavi, Zvi
Έκδοση: (1970)