Collegium Logicum : Annals of the Kurt-Gödel-Society
著者
書誌事項
Collegium Logicum : Annals of the Kurt-Gödel-Society
Springer-Verlag, c1995-
- v. 1
- v. 2
大学図書館所蔵 件 / 全15件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
内容説明・目次
- 巻冊次
-
v. 1 ISBN 9783211826461
内容説明
Contents: P. Vihan: The Last Month of Gerhard Gentzen in Prague. - F.A. Rodriguez-Consuegra: Some Issues on Godel's Unpublished Philosophical Manuscripts. - D.D. Spalt: Vollstandigkeit 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. Hahnle: Automated Deduction and Integer Programming. - M. Baaz, A. Leitsch: Methods of Functional Extension.
目次
The Last Months of Gerhard Gentzen in Prague.- Some Issues on Goedel's Unpubhshed Philosophical Manuscripts.- Vollstandigkeit 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.
- 巻冊次
-
v. 2 ISBN 9783211827963
内容説明
Contents: H. de Nivelle: Resolution Games and Non-Liftable Resolution Orderings. - M. Kerber, M. Kohlhase: A Tableau Calculus for Partial Functions. - G. Salzer: MUltlog: an Expert System for Multiple-valued Logics. - J. Krajicpek: A Fundamental Problem of Mathematical Logic. - P. Pudlak: On the Lengths of Proofs of Consistency. - A. Carbone: The Craig Interpolation Theorem for Schematic Systems. - I.A. Stewart: The Role of Monotonicity in Descriptive Complexity Theory. - R. Freund, L. Staiger: Numbers Defined by Turing Machines.
目次
Resolution Games and Non-liftable Resolution Orderings.- A Tableau Calculus for Partial Functions.- MUltlog: an Expert System for Multiple-valued Logics.- A Fundamental Problem of Mathematical Logic.- On the Lengths of Proofs of Consistency.- The Craig Interpolation Theorem for Schematic Systems.- The Role of Monotonicity in Descriptive Complexity Theory.- Numbers Defined by Turing Machines.
「Nielsen BookData」 より
