Straubing, Howard Finite automata, formal logic, and circuit complexity - Boston Birkhauser - Soft Binding xii 226 English ISBN: 0-8176-3719-2 Subjects--Topical Terms: --Finite automata, formal logic, and circuit complexity Dewey Class. No.: 511.3 STR-F / STR-F