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

Prezzi da
64,19

In evidenza

CONFRONTA TUTTI I WEBSHOP (1)

Descrizione

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

Description Descrizione
Product Specifications Specifiche del prodotto
Risultati correlati Risultati correlati
Next
Previous

Confronta i webshop (1)

Shop
Prezzo
Amazon Logo
64,19 €
Vai allo shop
Descrizione (0)

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

Specifiche del prodotto

EAN
  • 9783031853548

Independently Published

Foundation of Mathematical Reasoning: Logic, Proofs and Set Theory

27,09 €
Più informazioni Maggiori info

Independently Published

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

12,56 €
Più informazioni Maggiori info

Springer

Fuzzy Logic: Mathematical Tools for Approximate Reasoning: 11

99,27 €
Più informazioni Maggiori info

Cambridge University Press

Higher Order Logic and Type Theory

21,85 €
Più informazioni Maggiori info
Scelta in evidenza
64,19 €
Vai allo shop