Rob Nederpelt - Böcker

Visar alla böcker från författaren Rob Nederpelt.

4 produkter

Kategorier

4 produkter

Logical Reasoning

A First Course

AvFairouz Kamareddine,Rob Nederpelt m. fl.

Häftad, Engelska, 2004

319 kr

Skickas inom 5-8 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

Modern Perspective on Type Theory

From its Origins until Today

AvF.D. Kamareddine,T. Laan m. fl.

Inbunden, Engelska, 2004

2 419 kr

Skickas inom 10-15 vardagar

Modern Perspective on Type Theory

From its Origins until Today

AvF.D. Kamareddine,T. Laan m. fl.

Häftad, Engelska, 2010

1 789 kr

Skickas inom 10-15 vardagar