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

Amazon Pages: 348, Edition: Second Edition 2025, Hardcover, Birkhäuser
Description Description
Product Specifications Product specifications
Related Products Related Products
?>
Next
Previous

Compare webshops (2)

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

Pages: 348, Edition: Second Edition 2025, Hardcover, Birkhäuser

Product specifications

Brand Birkhauser
EAN
  • 9783031853517

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
£ 59.93
To Shop