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)Business and Society: A Strategic Approach to Social Responsibility and Ethics, 7th edition by Ferrell,Thorne — (eBook PDF)Business and Society: A Strategic Approach to Social Responsibility and Ethics, 7th edition by Ferrell,Thorne

$29.99

Add to Cart

(eBook PDF)Mechanics of Materials 9th Edition by Barry J. Goodno , James M. Gere — (eBook PDF)Mechanics of Materials 9th Edition by Barry J. Goodno , James M. Gere

$19.90

Add to Cart

(eBook PDF)Ashes and Sparks: Essays On Law and Justice by Stephen Sedley — (eBook PDF)Ashes and Sparks: Essays On Law and Justice by Stephen Sedley

$13.99

Add to Cart

(eBook PDF)Reading American Horizons, 3rd Edition, Volume 1 by Michael Schaller , Janette Thomas Greenwood , Andrew Kirk , Sarah Purcell — (eBook PDF)Reading American Horizons, 3rd Edition, Volume 1 by Michael Schaller , Janette Thomas Greenwood , Andrew Kirk , Sarah Purcell

$24.90

Add to Cart