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 - 9783031211119 - January 2, 2023
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 2023 edition

Get an email once the item is available
Do you have a profile? Log in

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:

295 pages, 3 Tables, color; 3 Illustrations, color; 7 Illustrations, black and white; XIV, 295 p. 10

Media Books     Hardcover Book   (Book with hard spine and cover)
Released January 2, 2023
ISBN13 9783031211119
Publishers Birkhauser Verlag AG
Pages 295
Dimensions 150 × 220 × 20 mm   ·   635 g

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