The classical decision problem /

The classical decision problem /

41

Bibliográfalaš dieđut
Váldodahkkit: Borger, E. (Egon), 1946-, Gradel, Erich, 1958-, Gurevich, Yuri
Materiálatiipa:
Giella:eng
Almmustuhtton: Berlin : Springer, 2001
Fáttát:
Decidability (Mathematical logic)

Geahča maid