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