Collegium Logicum
(Collegium Logicum, Annals of the Kurt-Gödel-Society ; 1)
データ種別 | 電子ブック |
---|---|
出版者 | Vienna : Springer Vienna |
出版年 | 1995 |
本文言語 | 英語 |
大きさ | VII, 122 p. 2 illus : online resource |
書誌詳細を非表示
内容注記 | 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 |
---|---|
著者標目 | *Kurt-Gödel-Gesellschaft author SpringerLink (Online service) |
件 名 | LCSH:Mathematics LCSH:Computers LCSH:Algorithms LCSH:Computer logic LCSH:Mathematical logic LCSH:Physics FREE:Mathematics FREE:Mathematical Logic and Foundations FREE:Theoretical, Mathematical and Computational Physics FREE:Logics and Meanings of Programs FREE:Mathematical Logic and Formal Languages FREE:Computation by Abstract Devices FREE:Algorithm Analysis and Problem Complexity |
分 類 | DC23:511.3 |
巻冊次 | ISBN:9783709193945 |
ISBN | 9783709193945 |
URL | http://dx.doi.org/10.1007/978-3-7091-9394-5 |
目次/あらすじ