A report on Tarski's decidability problem

From MaRDI portal
Publication:6248366