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 - 9783031211140 - January 3, 2024
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

Price
$ 64.99
excl. VAT

Ordered from remote warehouse

Expected delivery Jan 8 - 20, 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:

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

Media Books     Paperback Book   (Book with soft cover and glued back)
Released January 3, 2024
ISBN13 9783031211140
Publishers Birkhauser Verlag AG
Pages 295
Dimensions 234 × 156 × 20 mm   ·   488 g
Language German  

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