Download or read book Logic, Form and Function written by John Alan Robinson and published by North Holland. This book was released on 1979 with total page 328 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.