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

Prezzi da

64,19

Link sponsorizzati

Descrizione

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

Confronta i webshop (2)

Link sponsorizzati · Alcuni negozi ci pagano un compenso

Ordina per:

64,19 €

Descrizione (0)

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

EAN	9783031853548

Independently Published

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

Springer

Fuzzy Logic: Mathematical Tools for Approximate Reasoning: 11

Independently Published

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

American Mathematical Society

Mathematical Ideas and Notions of Quantum Field Theory