Decidability of logical theories and their combination
From MaRDI portal
Publication:2204682
DOI10.1007/978-3-030-56554-1OpenAlexW3094153643MaRDI QIDQ2204682
Publication date: 15 October 2020
Published in: Studies in Universal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-030-56554-1
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Classical first-order logic (03B10) Decidability of theories and sets of sentences (03B25)
This page was built for publication: Decidability of logical theories and their combination