Contains a precise and complete description of the computational logic develo by the authors; will serve also as a reference guide to the associated mechanical theorem proving system. Annotation copyright Book News, Inc. Portland, Or.
Buyback (Sell directly to one of these merchants and get cash immediately)
|Currently there are no buyers interested in purchasing this book. While the book has no cash or trade value, you may consider donating it|