language: English
title: Logic and Machines: Decision Problems and Complexity
titlecomplete: Logic and Machines: Decision Problems and Complexity (Lecture Notes in Computer Science, 171)
publisher: Springer-Verlag