Description |
343 pages ; 21 cm |
Contents |
Pt. I. Truth-functional Logic. Ch. 1. Principles of Inference. Ch. 2. Truth Tables and Truth Trees. Ch. 3. Evaluating Arguments -- Pt. II. Predicate Logic. Ch. 4. Principles of Inference. Ch. 5. Truth Trees for Predicate Logic -- Pt. III. Relational Logic. Ch. 6. New Restrictions on the Rules. Ch. 7. Truth Trees for Relational Logic -- Pt. IV. Identity and Description. Ch. 8. The Logic of Identity. Ch. 9. Definite Descriptions -- Afterword: On Names and Variables |
Notes |
Includes index |
Bibliography |
Includes bibliographical references and index |
Subject |
First-order logic.
|
LC no. |
98027510 |
ISBN |
3110157667 (paperback: alk. paper) |
|