検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Logic, foundations of mathematics, and computability theory / edited by Robert E. Butts and Jaakko Hintikka T2 Proceedings of the Fifth International Congress of Logic, Methodology, and Philosophy of Science, London, Ontario, Canada, 1975 T2 The University of Western Ontario series in philosophy of science A1 International Congress of Logic, Methodology and Philosophy of Science A1 Butts, Robert E. A1 Hintikka, Jaakko, 1929- YR 1977 FD c1977 VO : pbk SP x, 406 p. K1 Logic, Symbolic and mathematical -- Congresses K1 Mathematics -- Philosophy -- Congresses K1 Computable functions -- Congresses PB D. Reidel PP Dordrecht ; Boston SN 9027707081 SN 902770709X LA English (英語) CL LCC:Q174 CL LCC:QA9.A1 CL DC:501 s CL DC:511/.3 NO Includes bibliographical references and index NO 書誌ID=1000339531; NCID=BA05100174; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000339531 OL 30