This text aims to unify mathematical logic and symbolic logic, and outlines how mathematical logic emerged from symbolic logic. Derivations are extended to encompass mathematical principles. Godel's theorems are covered, including philosophical and historical issues.
Sprache
Verlagsort
Verlagsgruppe
McGraw-Hill Education - Europe
Zielgruppe
Für höhere Schule und Studium
Für Beruf und Forschung
Maße
Gewicht
ISBN-13
978-0-697-14175-0 (9780697141750)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Klassifikation
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.
