Buy books written by Rob Nederpelt Available at Bookswagon

Refine your Search

Availability

Shipping Time

Source

Binding

Language

Publication Year

Rob NederpeltRob Nederpelt was Lecturer in Logic for Computer Science until his retirement. Currently he is a guest researcher in the Faculty of Mathematics and Computer Science at Eindhoven University of Technology, The Netherlands.

5 results found

Sort By:

Type Theory and Formal Proof

By: Rob Nederpelt, Herman Geuvers

Publisher: Cambridge University Press

No Review Yet

AED329

Binding:	Hardback
Release:	06 Nov 2014
Language:	English

International Edition

Ships within 14-16 Days Explain..

A Modern Perspective on Type Theory

By: F.D. Kamareddine, Rob Nederpelt, T. Laan

Publisher: Springer

No Review Yet

AED856

Binding:	Paperback
Release:	22 Oct 2010
Language:	English

International Edition

Ships within 14-16 Days Explain..

A Modern Perspective on Type Theory

By: F.D. Kamareddine, Rob Nederpelt, T. Laan

Publisher: Springer-Verlag New York Inc.

No Review Yet

AED847

Binding:	Hardback
Release:	09 Jun 2004
Language:	English

International Edition

Ships within 14-16 Days Explain..

A Modern Perspective on Type Theory

By: F D Kamareddine, Professor Rob Nederpelt (Technische Universiteit Eindhoven, Holland), T Laan

Publisher: Springer

No Review Yet

AED160

Binding:	Paperback
Release:	10 Sep 2008

Out of Stock

Notify me when this book is in stockNotify Me

A Modern Perspective on Type Theory: From Its Origins Until Today

By: F D Kamareddine, Professor Rob Nederpelt (Technische Universiteit Eindhoven, Holland), T Laan

Publisher: Springer

No Review Yet

AED1,013

Binding:	Undefined
Release:	01 Jan 2005

Out of Stock

Notify me when this book is in stockNotify Me

No more records found