Pocketbok
Vis utilgjengelige utgivelser

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

Categorical Logic and Type Theor... (2001)

Jacobs, B. (Computing Science In...