Releases med Jacobs, B. (Computing Science Institute, University of Nijmegen, The Netherlands)

På lager hos iMusic Vis utilgjengelige utgivelser

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 (Pocketbok) (2001)

Categorical Logic and Type Theor... (2001)

Jacobs, B. (Computing Science In...