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

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

William M. Farmer

Price
₩ 108,100
excl. VAT

Ordered from remote warehouse

Expected delivery Jul 3 - 11

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:

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

Media Books     Hardcover Book   (Book with hard spine and cover)
Released April 24, 2025
ISBN13 9783031853517
Publishers Birkhauser Verlag AG
Pages 319
Dimensions 666 g
Language German  

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