Logic, Automata, and Algorithms (Mark A. Aisermann, Leonid A. Gusev, Lev I. Rozonoer, Irena M. Smirnova and Aleksey A. Tal*#8217;)