Paperback Book

Na sklade v iMusic

Zobraziť nedostupné položky

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