kaur,amandeep <br/><br/>
Symbolic logic and logic programming 

 - New Delhi  Satya parkashan pub. 
<br/><br/><label>Dewey Class. No.: </label>005.1 Am13s