Decidability of Logical Theories and Their Combination by João Rasga
Requirements: .ePUB reader, 14.4 MB
Overview: This textbook provides a self-contained introduction to decidability of first-order theories and their combination. The technical material is presented in a systematic and universal way and illustrated with plenty of examples and a range of proposed exercises.
After an overview of basic first-order logic concepts, the authors discuss some model-theoretic notions like embeddings, diagrams, and elementary substructures. The text then goes on to explore an applicable way to deduce logical consequences from a given theory and presents sufficient conditions for a theory to be decidable. The chapters that follow focus on quantifier elimination, decidability of the combination of first-order theories and the basics of computability theory.
Genre: Non-Fiction > Educational
Download Instructions:
https://ouo.io/miyqXH
https://ouo.io/V6noLA
Trouble downloading? Read This.