Type Theory And Formal Proof: An Introduction (Hardcover)

Où acheter (1) Caractéristiques

Sponsorisé

Type Theory And Formal Proof: An Introduction (Hardcover)

Fnac FR

125.73 EUR

Prix mis à jour le: 06-10-2026 15:11:13

Voir l'offre

Général

Marque

Cambridge University Press

ISBN

Cambridge University Press 110703650X

Caractéristiques

Produits similaires

The Clausal Theory of Types

The Clausal Theory of Types - D. A. Wolfram

Dès6.17 EUR 2

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]

Dès164.15 EUR 1

Basic Simple Type Theory

Basic Simple Type Theory

Dès61.39 EUR 1

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

Dès32.58 EUR 1

Type Inheritance and Relational Theory by C.j Date

Type Inheritance and Relational Theory by C.j Date

Dès44.83 EUR 1

Semantics of Type Theory, Progress in Theoretical Computer Science

Semantics of Type Theory, Progress in Theoretical Computer Science

Dès3.19 EUR 2