Collegium Logicum

Description:

Contents: P. Vihan: The Last Month of Gerhard Gentzen in Prague. - F.A. Rodríguez-Consuegra: Some Issues on Gödel’s Unpublished Philosophical Manuscripts. - D.D. Spalt: Vollständigkeit als Ziel historischer Explikation. Eine Fallstudie. - E. Engeler: Existenz und Negation in Mathematik und Logik. - W.J. Gutjahr: Paradoxien der Prognose und der Evaluation: Eine fixpunkttheoretische Analyse. - R. Hähnle: Automated Deduction and Integer Programming. - M. Baaz, A. Leitsch: Methods of Functional Extension.

subjects: Logic,  Goedel, kurt, 1906-1978,  Mathematics,  Computer science,  Computer software,  Logic design,  Symbolic and mathematical Logic,  Mathematical Logic and Foundations,  Mathematical and Computational Physics Theoretical,  Logics and Meanings of Programs,  Mathematical Logic and Formal Languages,  Computation by Abstract Devices,  Algorithm Analysis and Problem Complexity