Flum, Jorg, Gradel, Erich, Wilke, Thomas <br/><br/>
Logic and Automata 

 -  Amsterdam University Press  2008 
 - Texts in Logic and Games .
<br/><br/><label>ISBN: </label>9789053565766 
<br/><br/><label>Subjects--Topical Terms: </label><br/> Infinity<br/>Computational complexity.,Computer science--Mathematics.,Game theory.,Logic, Symbolic and mathematical.,Machine theory.<br/>MATHEMATICS