Techniques of Admissible Recursion Theory
Uloženo v:
| Hlavní autor: | Chong, Chi-Tat, 1949-...., mathématicien |
|---|---|
| Médium: | Livre numérique |
| Jazyk: | Anglais |
| Vydáno: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Edice: | Lecture notes in mathematics
1106 |
| Témata: | |
| On-line přístup: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Poznámka: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Techniques of admissible recursion theory, C. T. Chong, 1984, Berlin [etc.], Springer-Verlag, 1 volume (VII-214 pages), Lecture notes in mathematics, 3-540-13902-8 • Techniques of Admissible Recursion Theory, Texte imprimé, 9783662191125 |
Podobné jednotky
-
Theory of recursive functions and effective computability
(Livre papier)
Rogers, Hartley, 1926-2015
McGraw-Hill, 1967 -
Recursion on the countable functionals
(Livre numérique)
Normann, Dag, 1947- -
Recursive function theory and logic
(Livre papier)
Yasuhara, Ann Harris, 1932-2014
Academic Press, 1971 -
Degrees of unsolvability
(Livre papier)
Sacks, Gerald, 1933-2019
Princeton University Press, 1966 -
Recursive methods in economic dynamics
(Livre papier)
Stokey, Nancy L., a další
Harvard University Press, 1989

