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 (1)

Description

Amazon Pages: 348, Edition: Second Edition 2025, Paperback, Birkhäuser
Description Description
Product Specifications Product specifications
Related results Related results
Next
Previous

Compare webshops (1)

Shop
Price
Amazon Logo
£ 54.99
To Shop
Description (1)

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

Product specifications

Brand Birkhauser
EAN
  • 9783031853548

Birkhauser

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

£ 39.99
More Information More Info

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

£ 42.74
More Information More Info

College Publications

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

£ 17.85
More Information More Info

Birkhauser

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

£ 119.99
More Information More Info
Featured Choice
£ 54.99
To Shop