izlaidumi no Jacobs, B. (Computing Science Institute, University of Nijmegen, The Netherlands)

Pieejams iMusic noliktavā Rādīt nepieejamās preces

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