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

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