Computability, enumerability, unsolvability : directions in recursion theory /

Uloženo v:
Podrobná bibliografie
Další autoři: Cooper, S. B. 1943-2015 (Editor), Slaman, T. A. (Editor), Wainer, S. S. (Editor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Cambridge : Cambridge University Press, c1996.
Edice:London mathematical society lecture note series ; 224
Témata:
Pro rezervaci/výpůjčku fyzického dokumentu se přihlaste.
Popis Stav Knihovna Sbírka Signatura Poznámky Čárový kód
Dostupné
Měsíční
Fakulta informatiky R328 4200504904