Zum Einfluß elementarer Sätze der mathematischen Logik bei Alfred Tarski auf die Entstehung der drei Computerkonzepte des Konrad Zuse: tertium non datur. - Jürgen Alex (2006)