Buy Used and New Rob Nederpelt Books

Logical Reasoning: A First Course

by Rob Nederpelt,Fairouz Kamareddine

ISBN 13: 9780954300678

Format: Paperback (406 pages)
Publisher: College Publications
Published: 02 Apr 2004

Save for later

Type Theory and Formal Proof: An Introduction

by Rob Nederpelt,Herman Geuvers

ISBN 13: 9781107036505

Format: Illustrated (466 pages)
Publisher: Cambridge University Press
Published: 06 Nov 2014

Save for later

A Modern Perspective on Type Theory: From its Origins until Today: 29 (Applied Logic Series)

by F.D. Kamareddine,T. Laan,Rob Nederpelt

ISBN 13: 9781402023347

Format: Hardcover (380 pages)
Publisher: Springer
Published: 09 Jun 2004

Save for later

A Modern Perspective on Type Theory: From its Origins until Today: 29 (Applied Logic Series)

by F.D. D. Kamareddine,T. Laan,Rob Nederpelt

ISBN 13: 9789048166398

Format: Paperback (376 pages)
Publisher: Springer
Published: 22 Oct 2010

Save for later