A computational logic

Front Cover
Academic Press, 1979 - Mathematics - 397 pages
0 Reviews

From inside the book

What people are saying - Write a review

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

Contents

A Sketch of the Theory and Two Simple Examples
8
A Precise Definition of the Theory
28
The Correctness of a TautologyChecker
56
Copyright

17 other sections not shown

Other editions - View all

Common terms and phrases

References to this book

All Book Search results »

Bibliographic information