Recursive function theory and logic

Salvato in:
Dettagli Bibliografici
Autore principale: Yasuhara, Ann Harris, 1932-2014
Natura: Livre papier
Lingua:Anglais
Pubblicazione: New York ; London : Academic Press C 1971.
Serie:Computer science and applied mathematics : a serie of monographs and textbooks / ed. Werner Rheinboldt,...
Soggetti:
Autres localisations: Voir dans le Sudoc
LEADER 00933nam a22002657a 4500
001 379589
008 950314t19711971xxe ||| |||| 00| 0 eng d
009 PPN011677643
020 |a 0127689508 (rel.) 
041 0 |a eng 
082 |a 511/.3 
084 |a 03-01. 2000 
084 |a 03Bxx. 2000 
084 |a 03Dxx. 2000 
100 1 |a Yasuhara, Ann Harris,  |d 1932-2014. 
245 1 0 |a Recursive function theory and logic   |c Ann Yasuhara,... 
260 |a New York ;  |a London :  |b Academic Press. 
260 |c C 1971. 
300 |a 1 vol. (XV-338 p.) ;  |c 24 cm. 
490 0 |a Computer science and applied mathematics : a serie of monographs and textbooks / ed. Werner Rheinboldt,... 
504 |a Bibliogr. p.321-326. Index 
505 |a Contient des exercices 
650 |a Fonctions récursives 
650 |a Logique symbolique et mathématique 
997 |0 379589  |1 Livre papier  |a Ressource papier  |c 0/Orléans/  |c 1/Orléans/IDP/  |z Orléans, IDP, 2402 YAS