Type Theory And Formal Proof: An Introduction (Hardcover) | DealShopping France
  1. Page d’accueil
  2. Médias
  3. Livres
  4. Type Theory And Formal Proof: An Introduction (Hardcover)
  • #
  • #

Type Theory And Formal Proof: An Introduction (Hardcover)

110.37 EUR

Partager:
Sponsorisé

Type Theory And Formal Proof: An Introduction (Hardcover)

Fnac FR
110.37 EUR
02-05-2026 18:41:22

Produits connexes

The Clausal Theory of Types

The Clausal Theory of Types - D. A. Wolfram

6.17 EUR
Algebraic Groups: The Theory of Group Schemes of Finite Type over a Field (Cambridge Studies in Advanced Mathematics)

Algebraic Groups: The Theory of Group Schemes of Finite Type over a Field (Cambridge Studies in Advanced Mathematics) - [Livre en VO]

143.17 EUR
Basic Simple Type Theory

Basic Simple Type Theory

35.98 EUR
The Theory and Practice of Breeding to Type and Its Application to the Breeding of Dogs, Farm Animals, Cage Birds and Other Small Pets

The Theory and Practice of Breeding to Type and Its Application to the Breeding of Dogs, Farm Animals, Cage Birds and Other Small Pets

27.65 EUR
Semantics of Type Theory, Progress in Theoretical Computer Science

Semantics of Type Theory, Progress in Theoretical Computer Science

3.19 EUR
Type Inheritance and Relational Theory by C.j Date

Type Inheritance and Relational Theory by C.j Date

43.36 EUR