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 Products Related Products
?>
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

Prices were last updated on:

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

College Publications

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

£ 20.92
Compare 2 stores 2 stores

College Publications

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

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