| Description |
xx, 242 pages : illustrations ; 23 cm |
| Contents |
Machine derived contents note: The Truth of It All. -- The Forward-Backward Method. -- On Definitions and Mathematical Terminology. -- Quantifiers I: The Construction Method. -- Quantifiers II: The Choose Method. -- Quantifiers III: Induction. -- Quantifiers IV: Specialization. -- Quantifiers V: Nested Quantifiers. -- The Contradiction Method. -- The Contrapositive Method. -- Nots of Nots Lead to Knots. -- Special Proof Techniques. -- Summary. -- Appendices. -- Solutions to Exercises. -- Glossary of Mathematical Symbols. -- Index |
| Notes |
Includes index |
| Bibliography |
Includes bibliographical references |
| Subject |
Logic, Symbolic and mathematical.
|
|
Logic, Symbolic and mathematical.
|
|
Proof theory.
|
| LC no. |
89070592 |
| ISBN |
0471510041 |
|
