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

1. Mathematics
2. Computers
3. Algorithms
4. Computer logic
5. Mathematical logic
6. Physics
7. Mathematics
8. Mathematical Logic and Foundations
9. Theoretical
10. Mathematical and Computational Physics
11. Logics and Meanings of Programs
12. Mathematical Logic and Formal Languages
13. Computation by Abstract Devices
14. Algorithm Analysis and Problem Complexity