Logic and Machines: Decision Problems and Complexity: Proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut ... (Lecture Notes in Computer Science)