Basic Simple Type Theory

作者: J. Roger Hindley
出版社: Cambridge University Press
出版年: 2008-01-21
页数: 200
定价: 346.00元
装帧: Paperback
丛书: Cambridge Tracts in Theoretical Computer Science
ISBN: 9780521054225

购买二手书  · · · · · ·

这本书的其他版本  · · · · · ·  ( 全部2 )

以下书单推荐  · · · · · ·  ( 全部 )

谁读这本书?

ଲ ଲ ଲ
ଲ ଲ ଲ
6月6日 想读


逆风的维特斯坦
逆风的维特斯坦
6月4日 想读

tags:Cambridge Tracts in Theor...

FighterMan
FighterMan
4月6日 想读

tags:数理逻辑

> 5人在读

> 2人读过

> 60人想读

二手市场

订阅关于Basic Simple Type Theory的评论:
feed: rss 2.0