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...