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

Priser från

670,52

Utvalda

Beskrivning

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

Jämför webbutiker (2)

Sortera efter:

670,52 kr

Beskrivning (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

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

Independently Published

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