Herman (Radboud Universiteit Nijmegen) Geuvers - Böcker

Visar alla böcker från författaren Herman (Radboud Universiteit Nijmegen) Geuvers.

2 produkter

Kategorier

2 produkter

Del 32

Del 32 - Lecture Notes in Logic

Logic Colloquium 2006

Av S. Barry Cooper, Herman Geuvers m. fl

Inbunden, Engelska, 2009

2 209 kr

Skickas inom 10-15 vardagar

Type Theory and Formal Proof

An Introduction

Av Rob Nederpelt, Herman Geuvers m. fl

Inbunden, Engelska, 2014

1 239 kr

Skickas inom 10-15 vardagar