Decidability of Logical Theories and Their Combination
Springer Nature Switzerland
ISBN 978-3-030-56554-1
Standardpreis
Bibliografische Daten
eBook. PDF
2020
XIII, 178 p. 70 illus., 1 illus. in color..
In englischer Sprache
Umfang: 178 S.
Verlag: Springer Nature Switzerland
ISBN: 978-3-030-56554-1
Weiterführende bibliografische Daten
Das Werk ist Teil der Reihe: Studies in Universal Logic Mathematics and Statistics (R0) Mathematics and Statistics
Produktbeschreibung
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.
Autorinnen und Autoren
Produktsicherheit
Hersteller
Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg, DE
ProductSafety@springernature.com
BÜCHER VERSANDKOSTENFREI INNERHALB DEUTSCHLANDS

