Decidability of logical theories and their combination / João Rasga, Cristina Sernadas.
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...
Full description
Saved in: