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

＜図書＞
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続きを見る
電子版へのリンク	https://hdl.handle.net/2324/6976501

一般注記	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