Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas - Computer Science Foundations and Applied Logic - William M. Farmer - 書籍 - Birkhauser Verlag AG - 9783031211140 - 2024年1月3日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

William M. Farmer
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas - Computer Science Foundations and Applied Logic 2023 edition

価格
¥ 10.243
税抜

遠隔倉庫からの取り寄せ

発送予定日 2026年1月14日 - 2026年1月26日
クリスマスプレゼントは1月31日まで返品可能です

お客様の声：

EU消費者保護法に基づく14日間の返品ポリシー
Trustpilotで高評価
iMusicのウィッシュリストに追加

他の形態でも入手可能：

295 pages, 3 Illustrations, color; 7 Illustrations, black and white; XIV, 295 p. 10 illus., 3 illus.

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2024年1月3日
ISBN13 9783031211140
出版社 Birkhauser Verlag AG
ページ数 295
寸法 234 × 156 × 20 mm   ·   488 g
言語 ドイツ語  

William M. Farmerのすべてを見る ( 例： Hardcover Book および Paperback Book )