DOI10.1090/trans2/097/01zbMath0217.01001MaRDI 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
03B25: Decidability of theories and sets of sentences
03B99: General logic