Logic, Form and Function: The Mechanization of Deductive Reasoning

Front Cover
North-Holland, Jan 1, 1979 - Form (Logic) - 312 pages
4 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

Review: Logic (Trinity Paper, #9)

User Review  - Davey Ermold - Goodreads

In my near-thirty years of life, I've never had lessons in logic. I've had little bits here and there, and I knew how to construct some semblance of an argument, but this is the first time I've ever ... Read full review

Review: Logic (Trinity Paper, #9)

User Review  - Carlos E. Montijo - Goodreads

The best book on logic that I know of. Read full review

Contents

Syntax and Intuitive Semantics
8
Boolean Analysis of Sentences
35
Infinite Finitary Trees and Boolean Compactness
61
Copyright

10 other sections not shown

Common terms and phrases

References to this book

All Book Search results »

Bibliographic information