wyszukanych pozycji: 2
![]() |
Decidability of Logical Theories and Their Combination
ISBN: 9783030565565 / Angielski / Miękka / 2021 Termin realizacji zamówienia: ok. 20 dni roboczych. 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...
This textbook provides a self-contained introduction to decidability of first-order theories and their combination. The technical material is presente...
|
cena:
231,83 zł |
![]() |
A Mathematical Primer on Computability
ISBN: 9781848902961 / Angielski / Miękka / 2018 / 280 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
99,88 zł |