Uwe Schöning

• Gems of theoretical computer science
• Logic for computer scientists