Subrecursion : functions and hierarchies
Spremljeno u:
| Glavni autor: | |
|---|---|
| Format: | Livre papier |
| Jezik: | Anglais |
| Izdano: |
Oxford [Oxfordshire] : New York :
Clarendon Press ; Oxford University Press
1984.
|
| Serija: | Oxford logic guides
9 Oxford science publications |
| Teme: | |
| Autres localisations: | Voir dans le Sudoc |
| LEADER | 00839nam a22002297a 4500 | ||
|---|---|---|---|
| 001 | 379171 | ||
| 008 | 830727s1984 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN025357417 | ||
| 020 | |a 0198531893 (U.S.) : |c €39.95 | ||
| 041 | 0 | |a eng | |
| 082 | |a 511.3/3 | ||
| 100 | 1 | |a Rose, Harvey Ernest, |d 1936- | |
| 245 | 1 | 0 | |a Subrecursion : |b functions and hierarchies |c H.E. Rose. |
| 260 | |a Oxford [Oxfordshire] : |b Clarendon Press ; |a New York : |b Oxford University Press, |c 1984. | ||
| 300 | |a 1 vol. (XIII-189 p.) ; |c 25 cm. | ||
| 490 | 1 | |a Oxford logic guides |v 9 | |
| 490 | 1 | |a Oxford science publications | |
| 504 | |a Bibliogr. p. [183]-189. Index | ||
| 650 | |a Fonctions récursives | ||
| 650 | |a Récursivité, théorie de la | ||
| 650 | |a Fonctions calculables | ||
| 997 | |0 379171 |1 Livre papier |a Ressource papier |c 0/Orléans/ |c 1/Orléans/IDP/ |z Orléans, IDP, 4810 ROS | ||