Mendeley出力
＜図書＞
Logic and scientific methods : volume one of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995
| 責任表示 | edited by Maria Luisa Dalla Chiara ... [et al.] |
|---|---|
| シリーズ | Synthese library ; v. 259 |
| データ種別 | 図書 |
| 出版情報 | Dordrecht ; Boston : Kluwer Academic Publishers , c1997 |
| 本文言語 | 英語 |
| 大きさ | xviii, 532 p. : ill. ; 25 cm |
| 概要 | The first of two volumes presents 28 invited papers on proof theory and categorical logic; model theory, set theory, and formal systems; recursion theory and constructivism; philosophical logic; the p...ilosophy of logic, mathematics, and computer science; current interfaces between the logic and the philosophy of science; and logic in central and eastern Europe. Among specific topics are the postwar panorama of logic in Poland, reliable belief revision, conjoining and disjoining on different levels, the importance of Turing's thesis in mechanistic theories in cognitive science, comparing the continuum with the first two uncountable cardinals, and methods for proving lower bounds in propositional logic. No index. Annotation copyrighted by Book News, Inc., Portland, OR続きを見る |
| 目次 | v. 1. Logic and scientific methods v. 2. Structures and norms in science. |
所蔵情報
| 状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
|
理系図1F 開架 | 401/C 41 | 1997 |
|
026211996002303 |
|
書誌詳細
| 一般注記 | Includes table of contents v. 2 (Synthese library ; v. 260) |
|---|---|
| 著者標目 | *International Congress of Logic, Methodology and Philosophy of Science (10th : 1995 : Florence, Italy) Dalla Chiara Scabia, Maria Luisa |
| 件 名 | LCSH:Science -- Philosophy -- Congresses
全ての件名で検索
LCSH:Science -- Methodology -- Congresses 全ての件名で検索 |
| 分 類 | DC21:501 |
| 書誌ID | 1001326056 |
| ISBN | 0792343832 |
| NCID | BA29636634 |
| 巻冊次 | ISBN:0792343832 |
| 登録日 | 2009.09.18 |
| 更新日 | 2009.09.18 |