Number of the records: 1
Teorija rekursivnych funkcij i effektivnaja vyčislimost'
Title statement Teorija rekursivnych funkcij i effektivnaja vyčislimost' / Ch. Rodžers ; perevod V.A. Uspenskij Personal name Rogers, Hartley, 1926- (author) Issue data Moskva : Mir, 1972 Phys.des. 624 s. Note Rejstř. s. 607-621 Original Theory of recursive functions and effective computability Another responsib. Uspenskij, Vladimir Alexandrovič (translator) Subj. Headings rekurzivní funkce * matematická logika mathematical logic Form, Genre studie studies UDC 510.5 , 510.6 Country Rusko Language ruština Document kind Books book
Call number Barcode Location Sublocation Info S105656 (KUP) 3134004064 Zbrojnice Ústřední knihovna UP - sklad Date due 30 days
Number of the records: 1