Leblanc, Hugues <br/><br/>
Techniques of deductive inference. 

 - Englewood Cliffs, N.J.  Prentice-Hall  1966. 
 - vii,216p. 
<br/><br/>Includes index and bibliographical references.