Logic, Form and Function: The Mechanization of Deductive Reasoning

Front Cover
North-Holland, Jan 1, 1979 - Form (Logic) - 312 pages
2 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  - Carlos E. Montijo - Goodreads

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

Review: Logic (Trinity Paper, #9)

User Review  - Leah - Goodreads

Hard for me to follow his A/B/C/D diagrams and seemed a little long winded. Finally caught on to what he was saying in the last few chapters. Short, though, but dense. 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