Grabmayer Clemens <br/><br/>
Relating Proof Systems for Recursive Types 

 -  Geboren te Linz, Oostengijk  2005 
 - 435p 
<br/><br/><label>ISBN: </label>9090190864 
<br/><br/><label>LCCN: </label>nam a22     7a 4500 
<br/><br/><label>Dewey Class. No.: </label>512.8/GRA/2005