Office of Academic Resources
Chulalongkorn University
Chulalongkorn University

Home / Help

AuthorKurt-Gรถdel-Gesellschaft. author
TitleCollegium Logicum [electronic resource]
ImprintVienna : Springer Vienna, 1995
Connect tohttp://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



Location



Office of Academic Resources, Chulalongkorn University, Phayathai Rd. Pathumwan Bangkok 10330 Thailand

Contact Us

Tel. 0-2218-2929,
0-2218-2927 (Library Service)
0-2218-2903 (Administrative Division)
Fax. 0-2215-3617, 0-2218-2907

Social Network

  line

facebook   instragram