ame-nde Die kurze Geschichte der markup languages, die lange Geschichte der Logik und die damit zusammenhängenden Arbeiten sind in Vorbereitung.