DEPENDENT TYPE THEORY: Types Propositions Functions Logical Foundations and Formal Reasoning

Prix à partir de
12,74

En vedette

COMPARER TOUS LES MAGASINS EN LIGNE (2)

Description

DEPENDENT TYPE THEORY: Types Propositions Functions Logical Foundations and Formal Reasoning

Description Description
Product Specifications Spécifications du produit
Résultats connexes Résultats connexes
Next
Previous

Comparer les boutiques en ligne (2)

Shop
Prix
Affranchissement
Prix total
Amazon Logo
12,74 €
3,00 €
15,74 €
Voir l’offre
3,00 € Shipping Costs
Amazon Marketplace Logo
12,74 €
3,00 €
15,74 €
Voir l’offre
3,00 € Shipping Costs
Description (0)

DEPENDENT TYPE THEORY: Types Propositions Functions Logical Foundations and Formal Reasoning

Spécifications du produit

Marque Independently Published
EAN
  • 9798170628445

Independently Published

FORMAL LOGIC FOR COMPUTER SCIENCE: Propositions Predicates Proof Systems Type Theory and Computational Reasoning

12,74 €
Comparer 2 magasins 2 magasins

College Publications

Logic as A Tool: Guide to Formal Logical Reasoning

24,62 €
Comparer 2 magasins 2 magasins

Cambridge University Press

Type Theory and Formal Proof: An Introduction

87,81 €
Plus d'informations Plus infos

Advanced Reasoning Forum

Reasoning and Formal Logic

23,20 €
Plus d'informations Plus infos
Choix en vedette
12,74 €
Voir l’offre