このページのリンク

引用にはこちらのURLをご利用ください

利用統計

  • このページへのアクセス:47回

  • 貸出数:2回
    (1年以内の貸出数:0回)

<図書>
Logic, methodology and philosophy of science IX : proceedings of the Ninth International Congress of Logic, Methodology and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991

責任表示 edited by Dag Prawitz, Brian Skyrms, Dag Westerståhl
シリーズ Studies in logic and the foundations of mathematics ; v. 134
データ種別 図書
出版情報 Amsterdam ; Tokyo : Elsevier , 1994
本文言語 英語
大きさ xiv, 989 p. : ill. ; 24 cm
概要 Contains the invited lectures from the August 1991 congress, covering a wide range of issues in the field of logic, methodology, and philosophy of science. The volume is divided into 15 major chapters... proof theory and categorical logic; model theory, set theory, and formal systems; recursion theory and constructivism; logic and computer science; philosophical logic; methodology; probability, induction, and decision theory; history of logic, methodology, and philosophy of science; ethics of science and technology; foundations of logic, mathematics, and computer science; foundations of physical sciences; foundations of cognitive science and AI; foundations of linguistics; and foundations of social sciences. Annotation copyright by Book News, Inc., Portland, OR続きを見る
電子版へのリンク

所蔵情報



中央図 3E 401/P 89/58952053 1994
068582195020537


理系図1F 開架 401/P 89 1994
068252195008203


理系図3F 数理独自 P 94/LOGI/1-9 1994
068222195007196

書誌詳細

一般注記 Includes bibliographical references and index
著者標目 *International Congress of Logic, Methodology and Philosophy of Science (9th : 1991 : Uppsala, Sweden)
Prawitz, Dag
Skyrms, Brian, 1938-
Westerståhl, Dag, 1946-
件 名 LCSH:Science -- Philosophy -- Congresses  全ての件名で検索
LCSH:Science -- Methodology -- Congresses  全ての件名で検索
LCSH:Logic, Symbolic and mathematical -- Congresses  全ての件名で検索
分 類 LCC:Q174
DC20:501
書誌ID 1000284976
ISBN 0444893415
NCID BA2429948X
巻冊次 ISBN:0444893415
登録日 2009.09.11
更新日 2017.02.18