Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas by William M. Farmer

$19.99

Category: E-Book PDF

Available Options

3031211111,9783031211119
William M. Farmer
Birkhäuser; 1st ed. 2023 edition (January 2, 2023)

0 review for this Item

Related Products