Decidability of Logical Theories and Their Combination
João Rasga, Cristina Sernadas · 2021
Provides a comprehensive, self-contained introduction to decidability of first-order theories, using detailed proofs and examples to illustrate and clarify complex concepts Incorporates computability theory and reduction techniques to determine the decidability of theories Illustrates a variety of ways to deduce logical consequences from a theory, including the use of Gentzen calculus for first-order logic