Paperback Book
在庫なし商品を表示

Jacobs, B. (Computing Science Institute, University of Nijmegen, The Netherlands)のリリース

Cover for Jacobs, B. (Computing Science Institute, University of Nijmegen, The Netherlands) · Categorical Logic and Type Theory - Studies in Logic and the Foundations of Mathematics (Paperback Book) (2001)

Categorical Logic and Type Theor... (2001)

Jacobs, B. (Computing Science In...