Skip to content

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Applied Logic Series, 27) by Andrews, Peter B

by Andrews, Peter B

Similar copies are shown below.
Similar copies are shown to the right.
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Applied Logic Series, 27) by Andrews, Peter B
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
Springer. hardcover. New. 6x0x9. Brand New Book in Publishers original Sealing

We have 7 copies available starting at €27.97.

An Introduction to Mathematical Logic and Type Theory

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
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
€27.97
€3.00 shipping to

Show Details

Description:
Very good condition. A few penciled marginalia by original owner.
Item Price
€27.97
€3.00 shipping to
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Applied Logic...
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
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
€31.70
€3.50 shipping to

Show Details

Description:
Springer. Used - Very Good. 2002. 2nd. hardcover. Cloth, no dj. Slight shelf-wear. Clean internals. Very Good.
Item Price
€31.70
€3.50 shipping to
An Introduction to Mathematical Logic and Type Theory To Truth through  Proof
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
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
€32.59
€3.95 shipping to

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
€32.59
€3.95 shipping to
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Applied Logic...
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

  • Used
  • Good
  • Hardcover
Condition
Used - Good
Binding
Hardcover
ISBN 10 / ISBN 13
9781402007637 / 1402007639
Quantity Available
1
Seller
Newport Coast, California, United States
Seller rating:
This seller has earned a 3 of 5 Stars rating from Biblio customers.
Item Price
€83.18
FREE shipping to

Show Details

Description:
hardcover. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Item Price
€83.18
FREE shipping to
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof

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
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
€93.24
€8.25 shipping to

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
€93.24
€8.25 shipping to
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Applied Logic...
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
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
€134.12
€5.45 shipping to

Show Details

Description:
Springer, 2002-07-31. Hardcover. New. New. In shrink wrap. Looks like an interesting title!
Item Price
€134.12
€5.45 shipping to
An Introduction to Mathematical Logic and Type Theory : To Truth Through Proof

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
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
€146.00
€7.99 shipping to

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
€146.00
€7.99 shipping to