Courcelle, B. <br/><br/>
Graph structure and monadic second-order logic :  a language-theoretic approach / 
Bruno Courcelle, Joost Engelfriet. 
 - Cambridge ;  New York :  Cambridge University Press,  2012. 
 - xiv, 728 p. :  ill. ; 
 - Encyclopedia of mathematics and its applications ;  138 .
<br/><br/><label>ISBN: </label>9780521898331 (hardback) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic, Symbolic and mathematical--Graphic methods.<br/>MATHEMATICS / Logic.
<br/><br/><label>Universal Decimal Class. No.: </label>510.6   / COU