Recursion-theoretic hierarchies /
| Κύριος συγγραφέας: | Hinman, Peter G. (συγγραφέας.) |
|---|---|
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Berlin ; New York :
Springer-Verlag,
1978.
|
| Σειρά: | Perspectives in mathematical logic
|
| Θέματα: |
Παρόμοια τεκμήρια
-
Recursive analysis /
ανά: Goodstein, R. L. (Reuben Louis)
Έκδοση: (1961) -
Logic, sets, and recursion
ανά: Causey, Robert L.
Έκδοση: (2001) -
Formal systems and recursive functions : proceedings of the eighth logic Colloquium Oxford, July 1963 /
Έκδοση: (1965) -
Fundamentals of mathematical logic
ανά: Hinman, Peter G.
Έκδοση: (2005) -
Recursion theory for metamathematics
ανά: Smullyan, Raymond M.
Έκδοση: (1993)