From Symbolic Logic...to Mathematical Logic
Published on 1. January 1994
Book
Hardback
400 pages
978-0-697-14175-0 (ISBN)
Description
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.
More details
Language
English
Place of publication
Dubuque, IA
United States
Publishing group
McGraw-Hill Education - Europe
Target group
College/higher education
Professional and scholarly
Dimensions
Height: 230 mm
Weight
879 gr
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 Classification
Content
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.