Wird geladen...
Recursion theory for metamathematics.
| 1. Verfasser: | Smullyan, Raymond M. |
|---|---|
| Format: | Printed Book |
| Sprache: | English |
| Veröffentlicht: |
New York:
Oxford University Press,
1993.
|
| Schlagworte: |
Ähnliche Einträge
-
Generalized recursion theory II : proceedings of the 1977 Oslo symposium /
von: Fenstad,J.E.ed
Veröffentlicht: (1974) -
Recursion sequences
von: Markushevich, A.I.ed
Veröffentlicht: (1975) -
Recursion sequences
von: Markushevich
Veröffentlicht: (1975) -
Recursive functions.-3rd ed.
von: Peter, Rozsa
Veröffentlicht: (1967) -
Recursively enumerable sets and degrees.
von: Soare, Robert J.
Veröffentlicht: (1987)