Logic, Form and Function: The Mechanization of Deductive Reasoning

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


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

10 other sections not shown

Common terms and phrases

References to this book

All Book Search results »

Bibliographic information