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

Prices from
59.93

Featured

COMPARE ALL WEBSHOPS (2)

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
Related results Related results
Next
Previous

Compare webshops (2)

Shop
Price
Amazon Logo
£ 59.93
To Shop
Amazon Marketplace Logo
£ 59.93
To Shop
Description (0)

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

Product specifications

EAN
  • 9783031853517

Birkhauser

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

£ 39.99
Compare 2 stores 2 stores

Mathematical Logic: Foundations for Information Science (Progress in Computer and Applied Logic Book 25)

£ 42.74
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

College Publications

Set Theory (Studies in Logic: Mathematical Logic and Foundations)

£ 17.85
Compare 2 stores 2 stores
Featured Choice
£ 59.93
To Shop