Mathematical problems from applied logic II  [electronic resource] / 
 Logics for the XXIst century 
edited by Dov M. Gabbay, S. S Goncharov, Michael Zakharyaschev. 
 - New York, NY :  Springer Science+Business Media, LLC,  2007. 
 - xxix, 351 p. :  ill., digital ;  25 cm. 
 - International mathematical series ;  5 .
<br/><br/>Includes bibliographical references and index. 
<br/><br/><label>ISBN: </label>9780387692456 (electronic bk.) 9780387692449 (paper) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic, Symbolic and mathematical.<br/>Mathematics.<br/>Mathematical Logic and Foundations.