Klaus Truemper

• Design of Logic-based Intelligent Systems
• Matroid Decomposition
• The Construction of Mathematics
• Berlin 1945
• Daring Invention of Logarithm Tables
• Die Wagemutige Erfindung der Logarithmentafeln
• Wittgenstein and Brain Science