Straubing, Howard: Finite Automata, Formal Logic, and Circuit Complexity | DealShopping Deutschland