Type Theory and Formal Proof: An Introduction | DealShopping UK
  1. Home
  2. Media
  3. Books
  4. Type Theory and Formal Proof: An Introduction
  • #
  • #

Type Theory and Formal Proof: An Introduction

Share:
Sponsored

View Products on eBay

eBay

Related products

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof: 27

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof: 27

96.13 GBP
Algebraic Groups : The Theory of Group Schemes of Finite Type over a Field

Algebraic Groups : The Theory of Group Schemes of Finite Type over a Field

44.00 GBP
Ageless Glow Wash Foam

Ageless Glow Wash Foam

39.50 USD
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof: 27

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof: 27

26.70 USD
Ageless Glow Wash Foam

Ageless Glow Wash Foam

100.00 GBP
Rosenbrock―Wanner–Type Methods: Theory and Applications

Rosenbrock―Wanner–Type Methods: Theory and Applications

9.69 GBP