Cargando…
Decidability of logical theories and their combination
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...
| Autores principales: | , |
|---|---|
| Lenguaje: | eng |
| Publicado: |
Springer
2020
|
| Materias: | |
| Acceso en línea: | https://dx.doi.org/10.1007/978-3-030-56554-1 http://cds.cern.ch/record/2744362 |