topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 3
 |
Decidability of Logical Theories and Their Combination
ISBN: 9783030565534 / Angielski / Twarda / 2020 / 178 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
229,69 zł |
 |
Decidability of Logical Theories and Their Combination
ISBN: 9783030565565 / Angielski / Miękka / 2021 Termin realizacji zamówienia: ok. 16-18 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:
229,69 zł |
 |
A Mathematical Primer on Computability
ISBN: 9781848902961 / Angielski / Miękka / 2018 / 280 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
104,42 zł |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
