Collegium Logicum

Inhaltsverzeichnis

• The Last Months of Gerhard Gentzen in Prague.
• Some Issues on Gödel’s Unpubhshed Philosophical Manuscripts.
• Vollständigkeit als Ziel historischer Explikation. Eine Fallstudie.
• Existenz und Negation in Mathematik und Logik.
• Paradoxien der Prognose und der Evaluation: Eine fixpunkttheoretische Analyse.
• Automated Deduction and Integer Programming.
• Methods of Functional Extension.