Straubing, Howard Finite automata, formal logic, and circuit complexity - Boston Birkhauser - Soft Binding Faculty, students and Staff ISBN: 0-8176-3719-2 Subjects--Topical Terms: Mathematics--Finite automata, formal logic, and circuit complexity Dewey Class. No.: 511.3 STR / STR