Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extractio...
◆World Scientificセール開催中!:2024年12月22日(日)ご注文分まで
※上記表示の販売価格は割引適用後の価格です 出版済み 3-5週間でお届けいたします。 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サイトよりお問い合わせください。
|