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

Prices from
54.99

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
£ 54.99
To Shop
Amazon Marketplace Logo
£ 54.99
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
  • 9783031853548

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

Multi valued Logic for Decision Making Under Uncertainty (Computer Science Foundations and Applied Logic)

£ 119.99
Compare 2 stores 2 stores
Featured Choice
£ 54.99
To Shop