Tarski on ``essentially richer'' metalanguages
truth definition for the object language
scientific article; zbMATH DE number 1275387
scientific article