Introduction to Mathematical Logic and Type Theory: to Truth Through Proof : To Truth Through Proof

Name: Introduction to Mathematical Logic and Type Theory: to Truth Through Proof : To Truth Through Proof
Author: Andrews, Peter B.
ISBN: 9789048160792

by Andrews, Peter B.

Marketplace Prices
New from $92.08

New
$92.08

List Price

~~$169.00~~

Discount

45% Off

You Save

$76.92

Recommended

Item Details
Condition: New
Provider: LightningBooks Contact
Provider Rating:

85%
Ships From: Multiple Locations
Shipping: Standard, Expedited (tracking available)
Comments: Fast shipping! All orders include delivery confirmation.

ISBN-13: 9789048160792
ISBN: 9048160790
Edition: 2
Publication Date: 2010
Publisher: Springer

AUTHOR

Andrews, Peter B.

SUMMARY

Andrews, Peter B. is the author of 'Introduction to Mathematical Logic and Type Theory: to Truth Through Proof : To Truth Through Proof', published 2010 under ISBN 9789048160792 and ISBN 9048160790.

[read more]