Mathematical logic for computer science
By: Lu Zhongwan.
Publisher: World Scientific
Published: 1989
Place of publication: Singapore; Teaneck, N.J
Language: eng
Number of pages: 248
Subjects: Computer science -- Mathematics.; Logic, Symbolic and mathematical.
Notes: Includes bibliographical references (p. 229-230) and index.
Table of contents: title: Preface
pagenum: v; title: Introduction
pagenum: 1; label: 1
title: Prerequisites
pagenum: 5; label: 1.1
title: Sets
pagenum: 5; label: 1.2
title: Inductive definitions and proofs
pagenum: 11; label: 1.3
title: Notations
pagenum: 14; label: 2
title: Propositional Logic
pagenum: 15; label: 2.1
title: Propositions and connectives
pagenum: 15; label: 2.2
title: Propositional language
pagenum: 18; label: 2.3
title: Propositional language (concluded)
pagenum: 23; label: 2.4
title: Semantics
pagenum: 30; label: 2.5
title: Tautological consequence
pagenum: 37; label: 2.6
title: Formal deducibility
pagenum: 42; label: 2.7
title: Disjunctive and conjunctive normal forms
pagenum: 57; label: 2.8
title: Adequate sets of connectives
pagenum: 62; label: 3
title: First-Order Logic
pagenum: 67; label: 3.1
title: Proposition functions and quantifiers
pagenum: 68; label: 3.2
title: First-order language
pagenum: 72; label: 3.3
title: Semantics
pagenum: 81; label: 3.4
title: Logical consequence
pagenum: 89; label: 3.5
title: Formal deducibility
pagenum: 93; label: 3.6
title: Prenex normal form
pagenum: 101; label: 4
title: Formal Deducibility: Another Type
pagenum: 105; label: 4.1
title: Formal deducibility of another type
pagenum: 105; label: 4.2
title: Relation between the two types
pagenum: 108; label: 5
title: Soundness and Completeness
pagenum: 113; label: 5.1
title: Satisfiability and validity
pagenum: 114; label: 5.2
title: Soundness
pagenum: 122; label: 5.3
title: Completeness of propositional logic
pagenum: 124; label: 5.4
title: Completeness of first-order logic
pagenum: 129; label: 5.5
title: Completeness of first-order logic with equality
pagenum: 133; label: 5.6
title: Independence
pagenum: 136; label: 6
title: Applications of Soundness and Completeness
pagenum: 145; label: 6.1
title: Compactness
pagenum: 145; label: 6.2
title: Löwenheim-Skolem's Theorem
pagenum: 146; label: 6.3
title: Herbrand's Theorem
pagenum: 147; label: 6.4
title: Some basic notions of model theory
pagenum: 153; label: 7
title: Constructive Logic
pagenum: 159; label: 7.1
title: Logic for constructive reasoning
pagenum: 159; label: 7.2
title: Semantics
pagenum: 161; label: 7.3
title: Formal deducibility
pagenum: 165; label: 7.4
title: Soundness
pagenum: 173; label: 7.5
title: Completeness
pagenum: 174; label: 8
title: Modal Propositional Logic
pagenum: 181; label: 8.1
title: Modal propositional language
pagenum: 181; label: 8.2
title: Semantics
pagenum: 182; label: 8.3
title: Formal deducibility
pagenum: 187; label: 8.4
title: Soundness
pagenum: 194; label: 8.5
title: Completeness of T
pagenum: 197; label: 8.6
title: Completeness of S4, B, S5
pagenum: 200; label: 9
title: Modal First-Order Logic
pagenum: 207; label: 9.1
title: Modal first-order language
pagenum: 207; label: 9.2
title: Semantics
pagenum: 208; label: 9.3
title: Formal deducibility
pagenum: 212; label: 9.4
title: Soundness
pagenum: 213; label: 9.5
title: Completeness
pagenum: 214; label: 9.6
title: Equality
pagenum: 219; title: Appendix: A simple form of formal proof in natural deduction
pagenum: 223; title: Bibliography
pagenum: 229; title: List of Symbols
pagenum: 231; title: Index
pagenum: 237