A SURVEY OF MODERN SYMBOLIC LOGIC

By R. ELERA

Contents Chapter 1 Historical Evolution of Symbolic Reasoning 1 Chapter 2 Predicate Systems and Formal Languages 46 Chapter 3 Advanced Logical Methods and Proof Theory 86 Chapter 4 Contemporary Applications of Symbolic Logic 118