TARSKI’S FINITE BASIS PROBLEM IS UNDECIDABLE
scientific article; zbMATH DE number 894363