Algopix Logo
Low Inventory

Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic)

Best offer in the last 28 days!Golden Dollar
Marketplace
Price
Low Inventory

Attributes

Authors
Farmer, William M.

Product Identifiers

AIDAlgopix unique identifier
AIDCQPNNK001
Copied!

Shipping Dimensions

Width
6.1 in.
Length
9.25 in.
Height
0.71 in.
Weight
19.68 oz.

Product Dimensions

Width
0.71 in.
Length
6.1 in.
Height
9.25 in.
Weight
15.52 oz.

Similar Items

As an affiliate partner with eBay, Amazon, and Walmart, we earn from qualifying purchases. This means that we may receive a commission when you purchase products through links on our site. This does not affect the price you pay and helps us continue to provide valuable content. We appreciate your support.