Theory of recursive functions and effective computability
Κύριος συγγραφέας: | Hartley, Rogers |
---|---|
Μορφή: | Βιβλίο |
Γλώσσα: | Greek |
Έκδοση: |
New York
McGraw - Hill Book Company
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) -
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)