Wordt geladen...
Recursion theory for metamathematics.
| Hoofdauteur: | Smullyan, Raymond M. |
|---|---|
| Formaat: | Printed Book |
| Taal: | English |
| Gepubliceerd in: |
New York:
Oxford University Press,
1993.
|
| Onderwerpen: |
Gelijkaardige items
-
Generalized recursion theory II : proceedings of the 1977 Oslo symposium /
door: Fenstad,J.E.ed
Gepubliceerd in: (1974) -
Recursion sequences
door: Markushevich, A.I.ed
Gepubliceerd in: (1975) -
Recursion sequences
door: Markushevich
Gepubliceerd in: (1975) -
Recursive functions.-3rd ed.
door: Peter, Rozsa
Gepubliceerd in: (1967) -
Recursively enumerable sets and degrees.
door: Soare, Robert J.
Gepubliceerd in: (1987)