An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Applied Logic Series, 27)

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Applied Logic Series, 27)

Product ID: 1402007639 Condition: New

Sold Out

Product Description

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Applied Logic Series, 27)

  • Used Book in Good Condition

Technical Specifications

Country
USA
Brand
Springer
Manufacturer
Springer
Binding
Hardcover
PartNumber
Refer to Sapnet.
Height
9.34
Length
6.62
Weight
1.75047036028
Width
1.14
ReleaseDate
2002-07-31T00:00:01Z
NumberOfItems
1