Decidability of Logical Theories and Their Combination (Studies in Universal Logic)

By Cristina Sernadas and João Rasga

Book Overview

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... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3030565564
• ISBN13: 9783030565565
• Release Date: October 2021
• Publisher: Birkhauser
• Length: 178 Pages