zbMath0301.02041MaRDI QIDQ1215621
V. P. Orevkov, S. Yu. Maslov
Publication date: 1972 Published in: Proceedings of the Steklov Institute of Mathematics (Search for Journal in Brave)
Mathematics Subject Classification ID
Classical first-order logic (03B10) Decidability of theories and sets of sentences (03B25)
Related Items