IMP -Type Theory and Formal Proof : An Introduction

(No reviews yet) Write a Review

Write a Review

×

IMP -Type Theory and Formal Proof : An Introduction

Rating * Select Rating 1 star (worst) 2 stars 3 stars (average) 4 stars 5 stars (best)

Name

Email *

Review Subject *

Comments *

Colombian Peso

SKU:

9781107036505

Autor:

Rob Nederpelt

Editorial:

Cambridge University Press