Logic and Machines: Decision Problems and Complexity

Bok av E Borger