A new method for undecidability proofs of first order theories
scientific article; zbMATH DE number 168217
scientific article