Theorem proving with abstraction, part I 1979 Volume Report (University of Illinois at Urbana-Champaign. Dep of Computer Science) no. 961 [LeatherBound]

David A Plaisted

Publication Date: 2025

About this Item

BOOKS ARE EXEMPT FROM IMPORT DUTIES AND TARIFFS; NO EXTRA CHARGES APPLY. LeatherBound edition. Condition: New. Reprinted from 1979 edition. Leather Binding on Spine and Corners with Golden leaf printing on spine. Bound in genuine leather with Satin ribbon page markers and Spine with raised gilt bands. A perfect gift for your loved ones. Pages: 78 NO changes have been made to the original text. This is NOT a retyped or an ocr'd reprint. Illustrations, Index, if any, are included in black and white. Each page is checked manually before printing. As this print on demand book is reprinted from a very old book, there could be some missing or flawed pages, but we always try to make the book as complete as possible. Fold-outs, if any, are not part of the book. If the original book was published in multiple volumes then this reprint is of only one volume, not the whole set. Sewing binding for longer life, where the book block is actually sewn (smythe sewn/section sewn) with thread before binding which results in a more durable type of binding. Pages: 78 Volume Report (University of Illinois at Urbana-Champaign. Dep of Computer Science) no. 961.

Seller Inventory # LB990080454798

Bibliographic Details

• Title: Theorem proving with abstraction, part I 1979 Volume Report (University of Illinois at Urbana-Champaign. Dep of Computer Science) no. 961 [LeatherBound]
• Publication Date: 2025
• Binding: LeatherBound
• Condition: New