Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas by William M Farmer
Unfortunately we do not have a summary for this item at the moment
Simple Type Theory Summary
Additional information
NPB9783031211133
9783031211133
3031211138
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas by William M Farmer
New
Paperback
Birkhauser
2023-01-02
312
N/A
Book picture is for illustrative purposes only, actual binding, cover or edition may vary.
This is a new book - be the first to read this copy. With untouched pages and a perfect binding, your brand new copy is ready to be opened for the first time