The Netherlands) Jacobs, B. (Computing Science Institute, University of Nijmegen - Böcker

Visar alla böcker från författaren The Netherlands) Jacobs, B. (Computing Science Institute, University of Nijmegen.
1 produkt
B. Jacobs, The Netherlands) Jacobs, B. (Computing Science Institute, University of Nijmegen - Categorical Logic and Type Theory, Häftad
Del 141 - Studies in Logic and the Foundations of Mathematics

Categorical Logic and Type Theory

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

Häftad, Engelska, 2001

1 419 kr

Skickas inom 7-10 vardagar