Leitsch Alexander <br/><br/>
The Resoulution Calculus 

<br/><br/><label>ISBN: </label>3540618821 
<br/><br/><label>Dewey Class. No.: </label>515  / 1