Classical recursion theory : the theory of functions and sets of natural numbers /
| Main Author: | Odifreddi, Piergiorgio, 1950- (συγγραφέας.) |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Amsterdam ; New York : New York, N.Y., USA :
North-Holland ; Sole distributors for the USA and Canada, Elsevier Science Pub. Co.,
1989-1999.
|
| Series: | Studies in logic and the foundations of mathematics
125, 143. |
| Subjects: |
Similar Items
-
Recursion theory for metamathematics
by: Smullyan, Raymond M.
Published: (1993) -
Theory of recursive functions and effective computability
by: Hartley, Rogers
Published: (1967) -
General recursion theory : an axiomatic approach /
by: Fenstad, Jens Erik
Published: (1980) -
Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984 /
Published: (1985) -
Solutions to selected problems to accompany switching and finite automata theory /
by: Kohavi, Zvi
Published: (1970)