Logic, automata, and algorithms - Aizerman, Mark Aronovich 1913- (Mathematics in science and engineering ;, 1971)