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

711,13

Sponsrade länkar

Beskrivning

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

Jämför webbutiker (2)

Sponsrade länkar · Vissa butiker betalar oss en ersättning

Sortera efter:

711,13 kr

Beskrivning (0)

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

EAN	9783031211140

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....