Decidability of Logical Theories and Their Combination /

Decidability of Logical Theories and Their Combination /

Show other versions (3)

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

Bibliographic Details
Main Authors: Rasga, Joa��o (Author, http://id.loc.gov/vocabulary/relators/aut), Sernadas, Cristina (http://id.loc.gov/vocabulary/relators/aut)
Corporate Author: SpringerLink (Online service)
Format: Book
Language:English
Published: Cham : Springer International Publishing : Imprint: Birkha��user, 2020
Edition:1st ed. 2020
Series:Studies in Universal Logic,
Subjects:
Mathematical logic
Mathematics-Philosophy
Mathematical Logic and Foundations
Mathematical Logic and Formal Languages
Philosophy of Mathematics
Electronic books

Internet

This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.

Similar Items