Decidability of Logical Theories and Their Combination 9783030565534

This textbook provides a self-contained introduction to decidability of first-order theories and their combination. The

341 108 14MB

English Pages 178 Year 2020

Report DMCA / Copyright

DOWNLOAD FILE

Decidability of Logical Theories and Their Combination
 9783030565534