Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations Applied Logic)

Prices from
57.47

Sponsored links

COMPARE ALL WEBSHOPS (3)

Description

Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations Applied Logic)

Description Description
Product Specifications Product specifications
Price History Price History
Related results Related results
Next
Previous

Compare webshops (3)

Sponsored links · Some shops pay us a fee

Sort by:

£ 57.47

£ 59.93

£ 59.93

Description (0)

Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations Applied Logic)

Product specifications

EAN
  • 9783031853517
Size

Price History

* Price history contains no data from Amazon, Amazon Marketplace.

Prices were last updated on:

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

£ 39.99
Compare 3 stores 3 stores

NA

Farmer - Simple Type Theory A Practical Logic for Expressing and Rea X555z

£ 61.72
More Information More Info

Reasoning in Simple Type Theory: Festschrift Honor of Peter B. Andrews on...

£ 30.07
More Information More Info

Independently Published

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

£ 9.52
Compare 2 stores 2 stores
Featured Choice
£ 57.47
To Shop