Գրեք սա: Logic, automata, and algorithms /