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

247 66 14MB

English Pages 178 Year 2020

Report DMCA / Copyright

DOWNLOAD EPUB FILE

Decidability of Logical Theories and Their Combination
 9783030565534

  • 0 0 0
  • Like this paper and download? You can publish your own PDF file online for free in a few minutes! Sign Up
Recommend Papers