scientific article; zbMATH DE number 3556012
From MaRDI portal
Publication:4128521
zbMath0357.02010MaRDI QIDQ4128521
Publication date: 1976
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Classical first-order logic (03B10) Decidability of theories and sets of sentences (03B25) Recursively (computably) enumerable sets and degrees (03D25)
Related Items (1)
This page was built for publication: