Straubing, Howard,  1952- <br/><br/>
Finite automata, formal logic, and circuit complexity / 
Howard Straubing 
 - Boston, MA. :  Birkhauser,  1994 
 - xii, 226 p. :  ill. ;  24 cm. 
 - Progress in theoretical computer science .
<br/><br/>Includes bibliographical references (p.217-222) and index 
<br/><br/><label>ISBN: </label>3764337192  RM166.14 
<br/><br/><label>LCCN: </label>93-039906 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science--Mathematics<br/>Automata<br/>Logic, Symbolic and mathematical<br/>Computational complexity