Stock Photo: Cover May Be Different
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof Hardcover - 2002 - 2nd Edition
by Peter B. Andrews
Details
- Title An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
- Author Peter B. Andrews
- Binding Hardcover
- Edition number 2nd
- Edition 2
- Pages 390
- Volumes 1
- Language ENG
- Publisher Springer
- Date 2002-07-31
- Illustrated Yes
- Features Bibliography, Illustrated, Index
- ISBN 9781402007637 / 1402007639
- Weight 1.59 lbs (0.72 kg)
- Dimensions 9.34 x 6.62 x 1.14 in (23.72 x 16.81 x 2.90 cm)
- Library of Congress subjects Logic, Symbolic and mathematical, Type theory
- Library of Congress Catalog Number 2002031656
- Dewey Decimal Code 511.3
More Copies for Sale
An Introduction to Mathematical Logic and Type Theory: To Truth through Proof
by Andrews, Peter B.
- Used
- Hardcover
- Condition
- Used
- Edition
- Second
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9781402007637 / 1402007639
- Quantity Available
- 1
- Seller
-
Ithaca, New York, United States
- Item Price
-
$30.00$3.00 shipping to USA
Show Details
Description:
Very good condition. A few penciled marginalia by original owner.
Item Price
$30.00
$3.00
shipping to USA
Stock Photo: Cover May Be Different
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Applied Logic Series, 27)
by Andrews
- Used
- Hardcover
- Condition
- Used - Very Good
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9781402007637 / 1402007639
- Quantity Available
- 1
- Seller
-
Chicago, Illinois, United States
- Item Price
-
$34.00$3.50 shipping to USA
Show Details
Description:
Springer. Used - Very Good. 2002. 2nd. hardcover. Cloth, no dj. Slight shelf-wear. Clean internals. Very Good.
Item Price
$34.00
$3.50
shipping to USA
Stock Photo: Cover May Be Different
An Introduction to Mathematical Logic and Type Theory To Truth through Proof
by Andrews, Peter B.
- Used
- very good
- Hardcover
- Condition
- Used - Very Good
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9781402007637 / 1402007639
- Quantity Available
- 1
- Seller
-
Pflugerville, Texas, United States
- Item Price
-
$34.95$3.95 shipping to USA
Show Details
Description:
Springer. Very Good. 2002. Hardcover. 1402007639 . This book is in very good condition; no remainder marks. It does have some cover shelfwear. Inside pages are clean. ; Applied Logic Series, 27; 156 X 25.4 X 234 millimeters; 408 pages .
Item Price
$34.95
$3.95
shipping to USA
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
by ANDREWS, Peter B.
- Used
- very good
- Hardcover
- Condition
- Used - Very good
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9781402007637 / 1402007639
- Quantity Available
- 1
- Seller
-
London, Ontario, Canada
- Item Price
-
$100.00$8.25 shipping to USA
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
$100.00
$8.25
shipping to USA
Stock Photo: Cover May Be Different
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Applied Logic Series, 27)
by Andrews, Peter B
- New
- Hardcover
- Condition
- New
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9781402007637 / 1402007639
- Quantity Available
- 1
- Seller
-
San Diego, California, United States
- Item Price
-
$113.17$5.45 shipping to USA
Show Details
Description:
Springer, 2002-07-31. Hardcover. New. New. In shrink wrap. Looks like an interesting title!
Item Price
$113.17
$5.45
shipping to USA
An Introduction to Mathematical Logic and Type Theory : To Truth Through Proof
by Peter B. Andrews
- New
- Hardcover
- Condition
- New
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9781402007637 / 1402007639
- Quantity Available
- 642
- Seller
-
Uxbridge, Greater London, United Kingdom
- Item Price
-
$156.60$10.15 shipping to USA
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
$156.60
$10.15
shipping to USA
Stock Photo: Cover May Be Different
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Applied Logic Series, 27)
by Andrews, Peter B
- New
- Hardcover
- Condition
- New
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9781402007637 / 1402007639
- Quantity Available
- 5
- Seller
-
campbelltown, Florida, United States
- Item Price
-
$209.00$15.00 shipping to USA
Show Details
Description:
Springer. hardcover. New. 6x0x9. Brand New Book in Publishers original Sealing
Item Price
$209.00
$15.00
shipping to USA