Szabo1962 - Der Alteste Versuch Einer Definitorisch Axiomatischen Grundlegung Der Mathematik
Lincoln 1996 - Mythos and Logos