Hoppa till sidans huvudinnehåll

Rob Nederpelt - Böcker

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

Logical Reasoning

A First Course

Av Fairouz Kamareddine, Rob Nederpelt m. fl

Häftad, Engelska, 2004

579 kr

Skickas inom 7-10 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
Del 29 - Applied Logic Series

Modern Perspective on Type Theory

From its Origins until Today

Av F.D. Kamareddine, T. Laan m. fl

Inbunden, Engelska, 2004

2 489 kr

Skickas inom 10-15 vardagar
Del 29 - Applied Logic Series

Modern Perspective on Type Theory

From its Origins until Today

Av F.D. Kamareddine, T. Laan m. fl

Häftad, Engelska, 2010

1 839 kr

Skickas inom 10-15 vardagar