Coq による定理証明 - コンビネータ論理 C83版

サークル名
Stricter.org
著者
坂口 和彦
サイズ
A5
ページ数
20
頒布価格
300JPY
頒布イベント
委託販売
http://shop.comiczin.jp/products/detail.php?product_id=21601