zbMath0070.00903MaRDI QIDQ3231165
G. S. Tseĭtin
Publication date: 1956
zbMATH Keywords
algorithmic undecidabilityassociative calculusinsoluble equivalence problem
Mathematics Subject Classification ID
Mathematical logic and foundations (03-XX)
Related Items