scientific article; zbMATH DE number 2108199
From MaRDI portal
Publication:4820598
zbMath1053.03018MaRDI QIDQ4820598
Publication date: 15 October 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other nonclassical logic (03B60) Decidability of theories and sets of sentences (03B25) Basic properties of first-order languages and structures (03C07)
This page was built for publication: