Mainzer Klaus Et Al <br/><br/>
Proof and Computation Ii: from Proof Theory and Univalent Mathematics to Program Extraction and Verification 

 -  World Scientific  WSPC  2021 
<br/><br/><label>ISBN: </label>9789811236488 
<br/><br/><label>Source: </label>EBOOK 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Mathematics