Logic, Form and Function
Download or Read eBook Logic, Form and Function PDF 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.
Author | : John Alan Robinson |
Publisher | : North Holland |
Total Pages | : 328 |
Release | : 1979 |
ISBN-10 | : UCAL:B4396272 |
ISBN-13 | : |
Rating | : 4/5 (72 Downloads) |
Book Synopsis Logic, Form and Function by : John Alan Robinson
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.