商品件数：1　1件～1件　（1ページ中 1ページめ）
形式論理と計算可能性
著者：東京大学工学教程編纂委員会, 蓮尾一郎, 浅田和之
出版社： 丸善出版
発売日： 2025年01月14日
本書は、基本的なトピックの中からさらに取捨選択を行い、直観や動機付けを重視しつつ技術的細部を積み上げていく、理論のユーザーとしての視点に徹したコンパクトな教科書である。読者がいくつかの結果や証明のア……続きを見る
価格：2,640円

No results found

ID: -
［ | | 品名が | | ］
［画像 ］ ［自動改行対策 ］
楽天アフィリエイト リンク作成 （複数商品も一発で!!）