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

Prices from
60.17

Featured

COMPARE ALL WEBSHOPS (2)

Description

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

Compare webshops (2)

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

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

Product specifications

Brand Birkhauser
EAN
  • 9783031853517

Price History

Prices were last updated on:

College Publications

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

£ 20.86
Compare 2 stores 2 stores

College Publications

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

£ 16.56
Compare 2 stores 2 stores

Category Theory Using Haskell: An Introduction with Moggi and Yoneda (Computer Science...

£ 119.99
More Information More Info

Cambridge University Press

Logic in Computer Science: Modelling and Reasoning about Systems

£ 50.59
Compare 2 stores 2 stores
Featured Choice
£ 60.17
To Shop