An Introduction To Mathematical Logic and Type Theory
by Andrews, Peter B
Available Copies
An Introduction to Mathematical Logic and Type Theory
by Andrews, Peter B.
- Condition
- Used
- Edition
- Second
- Published
- 2002
- ISBN
- 9781402007637
- Quantity Available
- 1
- Seller
-
Ithaca, New York, USA
- Item Price
-
CA$41.76
Show Details
Description:
Very good condition. A few penciled marginalia by original owner. Item Price
CA$41.76
An Introduction to Mathematical Logic and Type Theory
by Andrews, Peter B.
- Condition
- Used
- Edition
- First
- Published
- 1986
- ISBN
- 9780120585359
- Quantity Available
- 1
- Seller
-
Ithaca, New York, USA
- Item Price
-
CA$27.84
Show Details
Description:
Very good condition. Minor scuffing of spine. No markings Item Price
CA$27.84
An Introduction to Mathematical Logic and Type Theory : To Truth Through Proof
by Peter B. Andrews
- Condition
- New
- Binding
- Hard Cover
- ISBN
- 9781402007637
- Quantity Available
- 1
- Seller
-
Uxbridge, Greater London, GBR
- Item Price
-
CA$202.52
Show Details
Description:
Hard Cover. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The An Introduction to Mathematical Logic and Type Theory : To Truth Through Proof. Item Price
CA$202.52
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
by ANDREWS, Peter B.
- Condition
- Used - Very good
- Published
- 2002
- Binding
- Hardcover
- ISBN
- 9781402007637
- Quantity Available
- 1
- Seller
-
London, Ontario, CAN
- Item Price
-
CA$139.20
Show Details
Description:
Dordrecht, The Netherlands: Kluwer Academic Publishers, 2002. Hardcover. Very good. Applied Logic Series 27. xviii, 389 p. 24 cm. B&w figures. Some light soiling to exterior.
Item Price
CA$139.20
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Applied Logic Series, 27)
by Andrews, Peter B
- Condition
- New
- Published
- 2002-07-31
- Binding
- Hardcover
- ISBN
- 9781402007637
- Quantity Available
- 1
- Seller
-
San Diego, California, USA
- Item Price
-
CA$200.23
Show Details
Description:
Springer, 2002-07-31. Hardcover. New. New. In shrink wrap. Looks like an interesting title! Item Price
CA$200.23
An Introduction to Mathematical Logic and Type Theory : To Truth Through Proof
by Peter B. Andrews
- Condition
- New
- ISBN
- 9789048160792
- Quantity Available
- 1
- Seller
-
Uxbridge, Greater London, GBR
- Item Price
-
CA$149.21
Show Details
Description:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The An Introduction to Mathematical Logic and Type Theory : To Truth Through Proof. Item Price
CA$149.21
An Introduction to Mathematical Logic and Type Theory : To Truth Through Proof
by Andrews, Peter B
- Condition
- Used - Very Good
- ISBN
- 9780120585366
- Quantity Available
- 1
- Seller
-
Mishawaka, Indiana, USA
- Item Price
-
CA$32.54
Show Details
Description:
Elsevier Science & Technology Books. Used - Very Good. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects. Item Price
CA$32.54
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Applied Logic Series, 27)
by Andrews, Peter B.
- Condition
- Used - Good
- Binding
- Hardcover
- ISBN
- 9781402007637
- Quantity Available
- 1
- Seller
-
Newport Coast, California, USA
- Item Price
-
CA$119.07
Show Details
Description:
hardcover. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. Item Price
CA$119.07
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
by Andrews, Peter B.
- Condition
- Used - Good
- Binding
- Hardcover
- ISBN
- 9780120585359
- Quantity Available
- 1
- Seller
-
Newport Coast, California, USA
- Item Price
-
CA$137.52
Show Details
Description:
hardcover. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. Item Price
CA$137.52
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Applied Logic Series, 27)
by Andrews, Peter B. B.
- Condition
- Used - Good
- Binding
- Paperback
- ISBN
- 9789048160792
- Quantity Available
- 1
- Seller
-
Newport Coast, California, USA
- Item Price
-
CA$190.43
Show Details
Description:
paperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. Item Price
CA$190.43
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Applied Logic Series)
by Peter B. Andrews
- Condition
- New
- Published
- 2002
- Binding
- Paperback
- ISBN
- 9789048160792
- Quantity Available
- 1
- Seller
-
Exeter, Devon, GBR
- Item Price
-
CA$181.78
Show Details
Description:
Springer, 2002. Paperback. New. 2nd edition. 408 pages. 9.25x6.00x1.00 inches. Item Price
CA$181.78