登入選單
Google圖書搜尋
ISBN : 0521766141總數: gridview
Lambda Calculus with Types
作者
Hendrik Pieter Barendregt / Wil Dekkers / Richard Statman
出版Cambridge University Press, 2013-06-20
ISBN
9780521766142 / 0521766141
主題
Mathematics