zbMath0305.68065MaRDI QIDQ1217466
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)
Related Items