"Logic, automata, and algorithms" - читать интересную книгу автора (Mark Aronovich Aĭzerman, Leonid A. Gusev, Lev I. Rozonoer, Irina M. Smirnova,...)