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

Payflex: Pay in 4 interest-free payments of R844.75. Read the FAQ
R 3,379
includes Duties & VAT
Delivery: 10-20 working days
Ships from USA warehouse.
Secure Transaction
VISA Mastercard payflex ozow
Buy in USA

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