Theorem proving with abstraction, part II / David A. Plaisted. 1979 Volume Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) no. 965 [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. 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. Pages: 70. A perfect gift for your loved ones. Reprinted from 1979 edition. 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. IF YOU WISH TO ORDER PARTICULAR VOLUME OR ALL THE VOLUMES YOU CAN CONTACT US. Resized as per current standards. 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. Volume Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) no. 965 Language: English Pages: 70 Volume Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) no. 965.

Seller Inventory # LB100159653923

Bibliographic Details

• Title: Theorem proving with abstraction, part II / David A. Plaisted. 1979 Volume Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) no. 965 [LeatherBound]
• Publication Date: 2025
• Language: English
• Binding: LeatheBound
• Condition: New