Gunter,Elsa L. <br/><br/>
Theorem proving in higher order logics / 
Gunter,Elsa L. 
 - 10th international c 
 - Berlin:  Springer,  1997. 
 - viii,337p;26cm 
<br/><br/>Includes bibliographical references. 
<br/><br/><label>ISBN: </label>3540633790 
<br/><br/><label>Dewey Class. No.: </label>005.1 GUN