Joe Hurd, Tom Melham <br/><br/>
Theorem Proving in Higher Order Logics 

 - New York  Springer US  2005 
 - Lecture Notes in Computer Science .
<br/><br/><label>ISBN: </label>978-3-540-31820-0 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer Science<br/>Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Software Engineering; Artificial Intelligence (incl. Robotics); Logic Design