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

William M. Farmer

Price

Íkr 7,999

excl. VAT

Ordered from remote warehouse

Expected delivery Jul 4 - 14

Our customers say:

Add to your iMusic wish list

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