Logic and Computation: Interactive Proof with Cambridge LCF
Language: English
Published by Cambridge University Press, Cambridge, UK, 1987
Series: Book 3 of 40 - Cambridge Tracts in Theoretical Computer Science
- First Edition
- Hardcover
- Used
Seller: Black Cat Hill Books, Oregon City, OR, U.S.A.Black Cat Hill Books
AbeBooks seller since September 17, 2012
Condition: Used - Good
US$ 70.00
Quantity: 1 available
Add to basketItem description from seller
EX-UNCAR LIBRARY COPY, removed from circulation, showing the usual treatments. First Edition (1987). Very Near Fine: shows just a tick of wear to the extremities (appears unopened and unread) ; else flawless; the binding is square and secure; the text is clean. Free of creased or dog-eared pages in the text. Free of underlining, hi-lighting, notations, or marginalia. A handsome, nearly-new copy, structurally sound and tightly bound, showing minor, unobtrusive imperfections despite its former library status. Bright and clean. Corners sharp. NOT a Remainder or Book-Club. Large 8vo (9.85 x 7 x 0.85 inches). Language: English. Weight: 30 ounces. Duotone shaded blue laminate boards with white titles at the front panel and back-strip. First printing presumed; no subsequent printings listed, as would have been Cambridge University Press' customary practice at the time of publication. Hardcover: Laminate Boards. ; Cambridge Tracts in Theoretical Computer Science; Vol. 2; Large 8vo 9" - 10" tall; xiii, 302 pages. …
Seller Inventory # 59878
- Title
- Logic and Computation: Interactive Proof with Cambridge LCF
- Author
- L. C. Paulson
- Publisher
- Cambridge University Press, Cambridge, UK
- Publication year
- 1987
- Condition
- Good+
- Dust jacket
- No Dust Jacket As Issued
- Binding
- Hardcover
- Language
- English
- ISBN 10
- 0521346320
- ISBN 13
- 9780521346320
- Edition
- First Edition; First Printing.
- Series
- Book 3 of 40: Cambridge Tracts in Theoretical Computer Science
"Synopsis" may belong to another edition of this title.
Review
"About the title" may belong to another edition of this title.
Black Cat Hill Books
Oregon City, OR, U.S.A.
AbeBooks seller since September 17, 2012
Shipping rates within U.S.A.
| Item | 5 to 14 business days | 3 to 6 business days |
|---|---|---|
| First item | US$ 6.25 | US$ 9.95 |
Payment methods
- Check
- Money Order
- Paypal
Store description
We are an on-line business with on on-site access to the public.
Specialty
Metaphysical & Eastern Thought, modern first editions, natural history, sailing, western americana, philosophy, history, biography, and military history, native american, gardening and landscaping, Christian Theology and Biblical StudiesSeller's business information
Black Cat Hill Books
722 Harrison Street
Oregon City, OR U.S.A. 97045-2039
Terms of sale
We guarantee the condition of every book as it's described
on the www.abebooks.com web sites. If you're dissatisfied with your
purchase (Incorrect Book/Not as Described/Damaged) or if the
order hasn't arrived, you're eligible for a refund within 30
days of the estimated delivery date. If you've changed your
mind about a book that you've ordered, please use the Ask
bookseller a question link to contact us and we'll respond
within 2 business days.
Black Cat Hill Books is a sole proprietorship, Jesse L. Case-Gabbard and Cristina C. Case-Gabbard, proprietors.
Our address for returns, complaints, or requests for information:
Black Cat Hill Books
722 Harrison Street
Oregon City, OR 97045
Our email address is bookcase3@gmail.com.
Our phone number is 503-358-1936.
We do not have a fax number.
Shipping terms
Orders ship within 2 business days. Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is significantly heavy or over-sized, we may contact you to let you know extra shipping is required.