Theory of Recursive Functions and Effective Computability /

Hlavní autor:
Typ dokumentu: Kniha
Jazyk: angličtina
Vydavatel: Cambridge : M.I.T. Press, 2000
Vydání: 4. vyd.
Předmět: