Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas

Name: Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas
SKU: 29e9d16e001a5ae1819afe96fa4576d2

1/1

Prix à partir de

58,21

En vedette

	58,21 €	Voir l’offre
	58,21 €	Voir l’offre
COMPARER TOUS LES MAGASINS EN LIGNE (2)

Description

Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas

Comparer les boutiques en ligne (2)

Trier par:

58,21 € Livraison gratuite

Description (0)

Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas

EAN	9783031853548

Independently Published

Foundation of Mathematical Reasoning: Logic, Proofs and Set Theory

Independently Published

Essential Logic and Mathematical Reasoning Workbook: Logic, Proofs, Quantifiers,

Independently Published

MATHEMATICAL FOUNDATIONS OF COMPUTER VERIFICATION: Logic Set Theory Formal Languages Proof Techniques...

Independently Published

An introduction to Propositional Logic and Set Theory: Foundations of Mathematical Reasoning....

Choix en vedette

58,21 €

Voir l’offre