1994•Wm. C. Brown eBooksRequires access
From symbolic logic -- to mathematical logic
Charles L. Silver
Open publisher page 0 citations
Abstract
Mathematical preliminaries syntax of sentential logic short-cut rules of sentential logic semantics of sentential logic connecting the syntax and semantics of sentential logic the syntax of first-order predicate logic the semantics of first-order predicate logic connections syntax and semantics for first-order predicate logic first-order theories the theory of arithmetic models for first-order theories Godel's theorems.