| Description |
xii, 238 pages : illustrations ; 24 cm |
| Contents |
pt. 1: Compound statements -- Introduction -- Logical equivalence -- Truth-functions -- Truth trees -- Adequacy of the method. trees and proofs -- pt. 2: Quantification -- Inference rules for quantifiers -- Multiple quantification. translation -- Adequacy of the tree method -- Identity. functions -- Undecidability. incompleteness |
| Notes |
Includes index |
| Bibliography |
Bibliography: pages 233-234 |
| Subject |
First-order logic.
|
|
Logic.
|
| LC no. |
67016929 |
| ISBN |
007032316X |
|
