Collegium Logicum [electronic resource]

Author	Kurt-Gรถdel-Gesellschaft. author
Title	Collegium Logicum [electronic resource]
Imprint	Vienna : Springer Vienna, 1995
Connect to	http://dx.doi.org/10.1007/978-3-7091-9394-5
Descript	VII, 122 p. 2 illus. online resource

CONTENT

The Last Months of Gerhard Gentzen in Prague -- Some Issues on Gรถdelโ{128}{153}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

Mathematics Computers Algorithms Computer logic Mathematical logic Physics Mathematics Mathematical Logic and Foundations Theoretical Mathematical and Computational Physics Logics and Meanings of Programs Mathematical Logic and Formal Languages Computation by Abstract Devices Algorithm Analysis and Problem Complexity