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

0

Sub total: $

total: $

View cart

Checkout

$Currency

$ US Dollar

info@yourdomain.com

0

Sub total: $

Total: $

View cart

Checkout

$Currency

$ US Dollar

home
product details

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

Available Options

ISBN : 3031211111,9783031211119
Author : William M. Farmer
Publisher : Birkh＆auml;user; 1st ed. 2023 edition (January 2, 2023)

quantity

Description
Reviews (0)

0 review for this Item

Related Products

(eBook PDF) Using Econometrics: A Practical Guide 7th Global Edition — (eBook PDF) Using Econometrics: A Practical Guide 7th Global Edition

$9.90

Add to Cart

(eBook PDF)Every Airbnb Host's Tax Guide Second Edition by Stephen Fishman J.D. — (eBook PDF)Every Airbnb Host's Tax Guide Second Edition by Stephen Fishman J.D.

$4.90

Add to Cart

(eBook PDF)Applying UML and Patterns An Introduction to Object-Oriented...3rd Edition by Craig Larman — (eBook PDF)Applying UML and Patterns An Introduction to Object-Oriented...3rd Edition by Craig Larman

$55.00

Add to Cart

(eBook PDF)Essential Microbiology 2nd Edition by Stuart Hogg — (eBook PDF)Essential Microbiology 2nd Edition by Stuart Hogg

$15.99

Add to Cart