Proof and computation II from proof theory and univalent mathematics to program extraction and verification /

• 作者：editors, Klaus Mainzer, Peter Schuster, Helmut Schwichtenberg.
• 出版者：World Scientific
• 出版地：Singapore :
• 語文：英語
• 電子資源：https://www.worldscientific.com/worldscibooks/10.1142/12263#t=toc
• ISBN/ISSN/ISRC：9789811236488 ; 9811236488
• 作者：Mainzer, Klaus.;Schuster, Peter;Schwichtenberg, Helmut
• 索書號：004.0151