Enumerability, decidability, computability : an introduction to the theory of recursive functions
Spremljeno u:
| Glavni autor: | |
|---|---|
| Daljnji autori: | , |
| Format: | Livre papier |
| Jezik: | Anglais |
| Izdano: |
Berlin ; Heidelberg ; New York :
Springer-Verlag
1965.
|
| Serija: | Die Grundlehren der mathematischen Wissenschaften
Band 127 |
| Teme: | |
| Autres localisations: | Voir dans le Sudoc |
Orléans - Bibliotheque de l'Institut Denis Poisson (Ex MAPMO)
| Bilješke: |
A demander à la BU Sciences |
|---|
| Lokacija | Signatura | Type de prêt | Status | |
|---|---|---|---|---|
| Salle de lecture | 919 HER | Dostupno |