DOI10.1090/trans2/097/01zbMath0217.01001OpenAlexW4254709017MaRDI QIDQ5620585
S. Yu. Maslov
Publication date: 1971 Published in: Eleven Papers on Logic, Algebra, Analysis and Topology (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1090/trans2/097/01
Mathematics Subject Classification ID
Decidability of theories and sets of sentences (03B25) General logic (03B99)