Description:
Very good condition. Only marking is name of original owner inscribed on verso of front cover.
No image available
Higher Order Logic Theorem Proving and Its Applications: Proceedings of the Ifip Tc10/Wg10.2 International Workshop on Higher Order Logic Theorem Prov Paperback - 1993
by Luc J. Claesen (Other)
Details
- Title Higher Order Logic Theorem Proving and Its Applications: Proceedings of the Ifip Tc10/Wg10.2 International Workshop on Higher Order Logic Theorem Prov
- Author Luc J. Claesen (Other)
- Binding Paperback
- Pages 1
- Volumes 1
- Language ENG
- Publisher North-Holland
- Date 1993-02
- ISBN 9780444898807 / 0444898808
- Library of Congress subjects Logic, Symbolic and mathematical - Congresses, Automatic theorem proving - Congresses
- Library of Congress Catalog Number 92046537
- Dewey Decimal Code 004.015
More Copies for Sale
Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications: proceedings of the IFIP TC10/WG10.2 International Workshop
by Claesen, L. J. M., and M. J. C. Gordon, editors
- Used
- Paperback
- Condition
- Used
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9780444898807 / 0444898808
- Quantity Available
- 1
- Seller
-
Ithaca, New York, United States
- Item Price
-
SGD 27.35SGD 4.10 shipping to USA
Show Details
Item Price
SGD 27.35
SGD 4.10
shipping to USA
Higher Order Logic Theorem Proving and its Applications Claesen, L. J. M. and Gordon, M. J. C.
- Used
- Hardcover
- Condition
- Used
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9780444898807 / 0444898808
- Quantity Available
- 1
- Seller
-
Maritime Quarter, Swansea, United Kingdom
- Item Price
-
SGD 111.58SGD 79.91 shipping to USA
Show Details
Description:
In overall good condition, no pages missing. Shipping can take between 2-6weeks for international deliveries. Hardback copies may or may not have dust jackets, please get in contact for more information.
Item Price
SGD 111.58
SGD 79.91
shipping to USA
Higher Order Logic Theorem Proving and its Applications (IFIP Transactions A: Computer Science and Technology)
- Used
- Very Good
- Paperback
- first
- Condition
- Used - Very Good
- Edition
- 1
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9780444898807 / 0444898808
- Quantity Available
- 1
- Seller
-
Bellingham, Washington, United States
- Item Price
-
SGD 170.87SGD 5.46 shipping to USA
Show Details
Description:
North Holland Publishing, 1993. 1. Softcover. Very Good. Very Good; Softcover; Light wear to the covers; Unblemished textblock edges; The endpapers and all text pages are clean and unmarked; The binding is excellent with a straight spine; This book will be shipped in a sturdy cardboard box with foam padding; Medium Format (8.5" - 9.75" tall); 0.8 lbs; Green covers with title in white lettering; 1993, North Holland Publishing; 588 pages; "Higher Order Logic Theorem Proving and its Applications (IFIP Transactions A: Computer Science and Technology)," by L.J.M. Claesen & M.J.C. Gordon.
Item Price
SGD 170.87
SGD 5.46
shipping to USA
More Photos
Higher Order Logic Theorem Proving and its Applications (IFIP Transactions A: Computer Science and Technology)
by L.J.M. Claesen
- Used
- Paperback
- first
- Condition
- New
- Edition
- 1
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9780444898807 / 0444898808
- Quantity Available
- 1
- Seller
-
Bellingham, Washington, United States
- Item Price
-
SGD 184.54SGD 5.46 shipping to USA
Show Details
Description:
North Holland Publishing, 1993. 1. Softcover. Like New. Fine/As New; Softcover; This book is brand new and still sealed in the publisher's original shrinkwrap; Corners are slightly "bumped" through the plastic; This book will be stored and delivered in a sturdy cardboard box with foam padding; Medium Format (8.5” – 9.75” tall); Green covers with title in white lettering; 1993, North Holland Publishing; 588 pages; "Higher Order Logic Theorem Proving and its Applications (IFIP Transactions A: Computer Science and Technology)," by L.J.M. Claesen & M.J.C. Gordon.
Item Price
SGD 184.54
SGD 5.46
shipping to USA
Higher Order Logic Theorem Proving and its Applications Claesen, L. J. M. and Gordon, M. J. C.
- Used
- Hardcover
- Condition
- Used
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9780444898807 / 0444898808
- Quantity Available
- 1
- Seller
-
Maritime Quarter, Swansea, United Kingdom
- Item Price
-
SGD 308.26SGD 79.91 shipping to USA
Show Details
Description:
In overall good condition, no pages missing. Shipping can take between 2-6weeks for international deliveries. Hardback copies may or may not have dust jackets, please get in contact for more information.
Item Price
SGD 308.26
SGD 79.91
shipping to USA
Higher Order Logic Theorem Proving and Its Applications: Proceedings of the Ifip Tc10/Wg10.2 International Workshiop on Higher Order Logic Theorem P
- New
- Paperback
- Condition
- New
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9780444898807 / 0444898808
- Quantity Available
- 1
- Seller
-
Exeter, Devon, United Kingdom
- Item Price
-
SGD 354.22SGD 17.39 shipping to USA
Show Details
Description:
North Holland, 1993. Paperback. New. 568 pages. 9.25x6.00x1.00 inches.
Item Price
SGD 354.22
SGD 17.39
shipping to USA