TY  - BOOK
AU  - Mainzer Klaus Et Al
TI  - Proof and Computation Ii: from Proof Theory and Univalent Mathematics to Program Extraction and Verification
SN  - 9789811236488
PB  - World Scientific
KW  - Mathematics
UR  - https://www.worldscientific.com/worldscibooks/10.1142/12263#t=toc
ER  -