418Gyii6kcL._AC_SY200_QL15_.jpg,Interactive Theorem Proving and Program Development: Coq'Art,Coding Theorems of Information Theory | SpringerLink,Period Domains over Finite and p-adic Fields,Theory of Multicodimensional (n+1)-Webs | SpringerLink 洋書 ディスプレイ用 アンティーク 16冊/1875年~ YDF731 ぴつち様ご予約 新米20kg 令和6年収穫