Simple Type Theory
A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Format:Paperback
Publisher:Birkhauser
Published:2nd Jan '23
Currently unavailable, and unfortunately no date known when it will be back
This non-fiction paperback, "Simple Type Theory" from William M Farmer, was published 2nd January 2023 by Birkhauser.
ISBN: 9783031211133
Dimensions: 234mm x 156mm x 17mm
Weight: 440g
312 pages