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
-
A$30.41A$4.56 shipping to USA
Show Details
Item Price
A$30.41
A$4.56
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
-
A$123.45A$88.41 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
A$123.45
A$88.41
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
-
A$189.96A$6.07 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
A$189.96
A$6.07
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
- Like New
- Edition
- 1
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9780444898807 / 0444898808
- Quantity Available
- 1
- Seller
-
Bellingham, Washington, United States
- Item Price
-
A$205.16A$6.07 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
A$205.16
A$6.07
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
-
A$341.05A$88.41 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
A$341.05
A$88.41
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
-
A$391.90A$19.24 shipping to USA
Show Details
Description:
North Holland, 1993. Paperback. New. 568 pages. 9.25x6.00x1.00 inches.
Item Price
A$391.90
A$19.24
shipping to USA