Logic, Form and Function: The Mechanization of Deductive Reasoning

Front Cover
North-Holland, Jan 1, 1979 - Form (Logic) - 312 pages
0 Reviews
Logic: form and content; Formulas: syntax and intuitive semantics; Boolean analysis of sentences; Infinitive finitary trees and boolean compactness; Semantic analysis of sentences and terms; Logical consequence: sequents and proofs; Logical equivalence: substitutivity and variants; Normal forms of sentences and sequents; Herbrand models and maps; Quad notation for clausal sequents; Unification; Resolution; Resolution on the computer; Historical notes; Appedix; Index.

From inside the book

What people are saying - Write a review

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


Syntax and Intuitive Semantics
Boolean Analysis of Sentences
Infinite Finitary Trees and Boolean Compactness

10 other sections not shown

Other editions - View all

Common terms and phrases

References to this book

All Book Search results »

Bibliographic information