Benthem, Johan van. <br/><br/>
A manual of intensional logic / 
by Johan van Benthem. 
 - 2nd ed. 
 - Stanford, Calif. :  Center for the Study of Language and Information,  1988. 
 - ix, 135 p. 
 - CSLI Lecture Notes ; No. 1. .
<br/><br/> Includes bibliographical references and index.  Contents : Classical theories--Recent developmnets : computational applications. 
<br/><br/><label>ISBN: </label>093707330X 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic.<br/>Language and logic.