zbMath0159.01503MaRDI QIDQ2527941
S. A. Yuditskij
Publication date: 1968 Published in: Automation and Remote Control (Search for Journal in Brave)
zbMATH Keywords
mathematical logic