Theodor Lettmann

• Aussagenlogik: Deduktion und Algorithmen
• Propositional logic
• Erfüllbarkeitsalgorihmen und die Problematik ihrer Realisierung in einem System zur Logikverarbeitung