Enumerability, decidability, computability

Permalink: http://skupnikatalog.nsk.hr/Record/nsk.NSK01000168330/Details
Glavni autor: Hermes, Hans (-)
Vrsta građe: Knjiga
Jezik: eng
ger
Impresum: Berlin ; Heidelberg ; New York : Springer-Verlag, 1965.
Nakladnička cjelina: Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen : mit besonderer Beruecksichtigung der Anwendungsgebiete ; Bd. 127
Predmet:
LEADER 01275nam a2200313 ir4500
001 NSK01000168330
003 HR-ZaNSK
008 960624s1965 gw 001 0 eng
035 |9 (HR-ZaNSK)168530 
035 |9 (HR-ZaNSK)960624018 
035 |a (HR-ZaNSK)000168330 
040 |a HR-ZaNSK  |b hrv  |c HR-ZaNSK  |e ppiak 
041 1 |a eng  |h ger 
044 |a gw 
080 |a 510.57 
100 1 |a Hermes, Hans 
245 1 0 |a Enumerability, decidability, computability :  |b an introduction to the theory of recursive function /  |c by Hans Hermes ; translated by G. T. Herman and O. Plassmann. 
260 |a Berlin ;  |a Heidelberg ;  |a New York :  |b Springer-Verlag,  |c 1965. 
300 |a IX, 245 str. ;  |c 24 cm. 
490 0 |a Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen : mit besonderer Beruecksichtigung der Anwendungsgebiete ;  |v Bd. 127 
500 |a Izv. stv. nasl.: Aufzaehlbarkeit, Entscheidbarkeit, Berechenbarkeit 
504 |a Bibliografija uz svako poglavlje 
504 |a Kazalo 
653 0 |a Rekurzivne funkcije 
760 0 |t Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen  |w nsk.(HR-ZaNSK)000062144 
998 |c lba, 199705  |c dmg, 199705 
852 4 |j 114.771sv127 
876 |e K  |a 940/65 
886 0 |2 unimarc  |b 01041nam2 2200277 450