Über Variablen und Entscheidbarkeit

Philosophische Betrachtungen über den Gebrauch von Buchstaben als Variablen, die Entscheidbarkeit von Prädikaten und den Zusammenhang zwischen Unentsc