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

AvS. Barry Cooper,Herman Geuvers m. fl.

Inbunden, Engelska, 2009

2 139 kr

Skickas inom 10-15 vardagar

Type Theory and Formal Proof

An Introduction

AvRob Nederpelt,Herman Geuvers m. fl.

Inbunden, Engelska, 2014

1 179 kr

Skickas inom 10-15 vardagar