Gunter Elsa L. (et-al)(Eds) <br/><br/>
Theorem proving in higher order logics :Lecture notes in computer science:Proceedings 

 -  Springer: Tokyo  1997 
 - 337 p. 
<br/><br/><label>ISBN: </label>0003540633790 
<br/><br/><label>Subjects--Topical Terms: </label><br/>computer science :
<br/><br/><label>Dewey Class. No.: </label>004  / T32