Search Results - Nederpelt, Rob - Books

Logical Reasoning : A First Course

Paperback / softback 2 Apr 2004
ISBN: 9780954300678
Dewey: 511.3
£13.28
RRP £14.75 Save 10%
18 in Stock

Type Theory and Formal Proof: An Introduction

Ebook 6 Nov 2014
ISBN: 9781316053980
Dewey: 511.3
Price on Application:
Contact us for further details

Type theory and formal proof: an introduction

eBook 5 Nov 2014
ISBN: 9781316056349
Dewey: 511.3
Price on Application:
Contact us for further details
Licence From
£109.50
Available on VLeBooks
£24.99
£56.94
RRP £66.99 Save 15%

A Modern Perspective on Type Theory : From its Origins until Today

Paperback / softback 22 Oct 2010
Publisher Springer
ISBN: 9789048166398
Dewey: 511.3
£162.00
£159.99

Type Theory and Formal Proof: An Introduction

Ebook 5 Nov 2014
ISBN: 9781139567725
Dewey: 511.3
Title Unavailable: Withdrawn
Page 1 of 1