Amazon - shikencho

アイテム詳細

J. Roger Hindley
Jonathan P. Seldin

Cambridge University Press

グループ:Book

ランキング:1180

価格:¥ 7,645

発売日:2008-08-31

通常24時間以内に発送

このページのURLは
http://www.shikencho.com/shop/asin/ForeignBooks/0521898854/

この商品を買った人はこんな商品も買っています。

Essentials of Programming Languages

Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science)

Toposes and Local Set Theories: An Introduction (Dover Books on Mathematics)

Lectures on the Curry-howard Isomorphism (Studies in Logic and the Foundations of Mathematics)

圏論による論理学―高階論理とトポス

Special Menu

Category Menu