Decidability of Logical Theories and Their Combination, 1st ed. 2020 Studies in Universal Logic Series
Auteurs : Rasga João, Sernadas Cristina
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
Date de parution : 10-2021
Ouvrage de 178 p.
15.5x23.5 cm
Date de parution : 10-2020
Ouvrage de 178 p.
15.5x23.5 cm