Type Theory and Formal Proof: An Introduction

Type Theory and Formal Proof: An Introduction

Cambridge University Press

Pages: 466, Edition: Illustrated, Hardcover, Cambridge University Press

Compare prices (2 shops)

Sort: Price: lowest first Price: highest first

shop	Price	Action
	69,98 GBP	Go to shop
	94,93 GBP	Go to shop

Similar products

An Introduction to Music Theory
From 9,75 EUR
A First Course in Logic : An Introduction to Model Theory, Proof Theory, Computability, and Complexity: An Introduction to Model Theory, Proof Theory, ... and Complexity: 1 (Oxford Texts in Logic)
From 88,41 EUR
Basic Proof Theory
From 45,85 EUR
Film Theory: An Introduction
From 29,75 EUR
Theory of Type Design
From 46,69 EUR
Literary Theory : An Introduction
From 18,09 EUR