日本のストアは日本在住者向けストアのためアメリカ合衆国からはご利用になれません。アメリカ合衆国のストアをご利用ください。
A Proof Assistant Approach
いつでもどこでも読書
楽天Kobo電子書籍リーダーや楽天Koboアプリ（Android/iOS）だけでなくお使いのブラウザから楽天Koboウェブリーダーを使用してすぐにお読みいただけます。
電子書籍を購入
15 % 引き販売価格 7,656 円6,508 円
楽天Koboなら読書がもっと楽しくなります。
Franz Baader, Tobias Nipkow
10,589 円
最初のレビュアーになりませんか？
