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

Prices from

65.58

Description

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

Compare webshops (2)

Sponsored links · Some shops pay us a fee

Sort by:

€ 65.58

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

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

Independently Published

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