Computability, enumerability, unsolvability directions in recursion theory /
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | , , , |
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Cambridge :
Cambridge University Press,
1996
|
| Σειρά: | London Mathematical Society lecture note series ;
224 |
| Θέματα: |