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
-
SGD 41.31SGD 4.13 shipping to USA
Show Details
Description:
Very good condition. A few penciled marginalia by original owner.
Item Price
SGD 41.31
SGD 4.13
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
-
SGD 46.82SGD 4.82 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
SGD 46.82
SGD 4.82
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
-
SGD 48.13SGD 5.44 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
SGD 48.13
SGD 5.44
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
-
SGD 137.70SGD 11.36 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
SGD 137.70
SGD 11.36
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
-
SGD 155.84SGD 7.50 shipping to USA
Show Details
Description:
Springer, 2002-07-31. Hardcover. New. New. In shrink wrap. Looks like an interesting title!
Item Price
SGD 155.84
SGD 7.50
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
-
SGD 212.94SGD 13.80 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
SGD 212.94
SGD 13.80
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
-
SGD 287.79SGD 20.66 shipping to USA
Show Details
Description:
Springer. hardcover. New. 6x0x9. Brand New Book in Publishers original Sealing
Item Price
SGD 287.79
SGD 20.66
shipping to USA