DOI10.1007/BF02306690zbMath0214.01802MaRDI QIDQ2545171
Yuri Gurevich
Publication date: 1971 Published in: Algebra and Logic (Search for Journal in Brave)
Mathematics Subject Classification ID
Decidability of theories and sets of sentences (03B25)
Related Items
Cites Work