The classical decision problem /

The classical decision problem /

41

Bibliographic Details
Main Authors: Borger, E. (Egon), 1946-, Gradel, Erich, 1958-, Gurevich, Yuri
Format:
Language:eng
Published: Berlin : Springer, 2001
Subjects:
Decidability (Mathematical logic)

Similar Items