Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas - Computer Science Foundations and Applied Logic - William M. Farmer - Books - Birkhauser Verlag AG - 9783031853517 - April 24, 2025
In case cover and title do not match, the title is correct

William M. Farmer
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas - Computer Science Foundations and Applied Logic Second Edition 2025 edition

Price
Íkr 10,139
excl. VAT

Ordered from remote warehouse

Expected delivery Jan 5 - 12, 2026
Christmas presents can be returned until 31 January

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Also available as:

Media Books     Hardcover Book   (Book with hard spine and cover)
Released April 24, 2025
ISBN13 9783031853517
Publishers Birkhauser Verlag AG
Pages 319
Dimensions 161 × 244 × 26 mm   ·   646 g
Language German  

See all of William M. Farmer ( e.g. Hardcover Book and Paperback Book )