Skip to content

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 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
Back to Top

More Copies for Sale

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
  • first
Condition
Used
Edition
First
Binding
Hardcover
ISBN 10 / ISBN 13
9780120585359 / 0120585359
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
SGD 27.35
SGD 4.10 shipping to USA

Show Details

Description:
Very good condition. Minor scuffing of spine. No markings
Item Price
SGD 27.35
SGD 4.10 shipping to USA
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, P. B.

  • Used
  • Acceptable
  • Hardcover
Condition
Used - Acceptable
Binding
Hardcover
ISBN 10 / ISBN 13
9780120585359 / 0120585359
Quantity Available
1
Seller
Seattle, Washington, United States
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
SGD 34.99
FREE 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
SGD 34.99
FREE shipping to USA
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
  • Good
  • Hardcover
Condition
Used - Good
Binding
Hardcover
ISBN 10 / ISBN 13
9780120585359 / 0120585359
Quantity Available
1
Seller
Newport Coast, California, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
SGD 135.10
FREE 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
SGD 135.10
FREE shipping to USA