TY  - BOOK
AU  - Straubing, Howard
TI  - Finite automata, formal logic, and circuit complexity
SN  - 0-8176-3719-2
U1  - 511.3 STR 
CY  - Boston
PB  - Birkhauser
KW  - Mathematics
KW  - Finite automata, formal logic, and circuit complexity
N1  - Faculty, students and Staff
UR  - https://libgen.is/book/index.php?md5=69A88288943330AA0D5FC0D37165EB3E
ER  -