Paperback Book

En stock chez iMusic

Montrer les articles indisponibles

Communiqués par 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...