Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extractio...
◆World Scientific 年末セール開催中!:2025年12月21日(日)ご注文分まで
※上記表示の販売価格は割引適用後の価格です 出版済み 3-5週間でお届けいたします。 Title: Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extraction And Verification Author: Mainzer, Klaus (Technische Univ Munchen, Germany) / Schwichtenberg, Helmut (Ludwig Maximilians Univ Munchen, Germany) / Schuster, Peter Michael (Univ Degli Studi Di Verona, Italy)(Editor) Publisher: World Scientific ISBN: 9789811236471 Cover: HARDCOVER Date: 2021年08月 こちらの商品は学校・法人様向け(機関契約)のオンラインブック版がございます。 オンラインブックの価格、納期につきましては弊社営業員または当ECサイトよりお問い合わせください。 ![]() 最近チェックした商品
![]()
|