A Computational Logic: Handbook

Front Cover
Academic Press Incorporated, 1988 - Computers - 408 pages
0 Reviews

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Introduction
3
A Primer for the Logic
15
Formalization Within the Logic
57
A Precise Description of the Logic
93
Proving Theorems in the Logic
143
Mechanized Proofs in the Logic
167
An Introduction to the System 177
175
A Sample Session with the Theorem Prover
187
The Four Classes of Rules Generated from Lemmas
231
Reference Guide
251
Hints on Using the Theorem Prover
315
Installation Guide
335
A Parser for the Syntax
351
The Primitive Shell Axioms
383
On the Difficulty of Proofs
391
References
397

How to Use the Theorem Prover
207
How the Theorem Prover Works
219
Copyright

Other editions - View all

References to this book

All Book Search results »

Bibliographic information