Description:
Very good condition. Minor scuffing of spine. No markings
![An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof](https://d3525k1ryd2155.cloudfront.net/f/359/585/9780120585359.OL.0.l.jpg)
Stock Photo: Cover May Be Different
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof Hardcover - 1986
by P. B. Andrews
Details
- Title An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
- Author P. B. Andrews
- Binding Hardcover
- Pages 304
- Volumes 1
- Language ENG
- Publisher Academic Press
- Date 1986-05
- ISBN 9780120585359 / 0120585359
- Library of Congress subjects Logic, Symbolic and mathematical, Type theory
- Library of Congress Catalog Number 85-19942
- Dewey Decimal Code 511.3
More Copies for Sale
![An Introduction to Mathematical Logic and Type Theory](https://d3525k1ryd2155.cloudfront.net/h/203/073/1539073203.0.m.0.jpg)
An Introduction to Mathematical Logic and Type Theory: To Truth through Proof
by Andrews, Peter B.
- Used
- Hardcover
- first
- Condition
- Used
- Edition
- First
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9780120585359 / 0120585359
- Quantity Available
- 1
- Seller
-
Ithaca, New York, United States
- Item Price
-
£15.97£2.40 shipping to USA
Show Details
Item Price
£15.97
£2.40
shipping to USA
![An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof](https://d3525k1ryd2155.cloudfront.net/f/359/585/9780120585359.OL.0.m.jpg)
Stock Photo: Cover May Be Different
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
by Andrews, P. B.
- Used
- Acceptable
- Hardcover
- Condition
- Used - Acceptable
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9780120585359 / 0120585359
- Quantity Available
- 1
- Seller
-
Seattle, Washington, United States
- Item Price
-
£20.43FREE shipping to USA
Show Details
Description:
Academic Press, 1986. Hardcover. Acceptable. Former library book; Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less.Dust jacket quality is not guaranteed.
Item Price
£20.43
FREE shipping to USA
![An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof](https://d3525k1ryd2155.cloudfront.net/f/359/585/9780120585359.OL.0.m.jpg)
Stock Photo: Cover May Be Different
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
by Andrews, Peter B.
- Used
- Good
- Hardcover
- Condition
- Used - Good
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9780120585359 / 0120585359
- Quantity Available
- 1
- Seller
-
Newport Coast, California, United States
- Item Price
-
£78.87FREE shipping to USA
Show Details
Description:
hardcover. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Item Price
£78.87
FREE shipping to USA