検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Electronic DC OPAC T1 Internal logic : foundations of mathematics from Kronecker to Hilbert A1 Gauthier, Yvon YR 2002 FD c2002 VO HB : alk. paper K1 Mathematics -- Philosophy K1 Logic, Symbolic and mathematical PB Kluwer Academic Publishers PP Dordrecht ; Boston SN 1402006896 LA English (英語) CL LCC:QA8.4 CL DC21:510/.1 NO Includes bibliographical references (p. [215]-229) and indexes NO License restrictions may limit access NO 叢書名=Synthese library ; v. 310 NO 書誌ID=OB01025471; LK https://link.springer.com/openurl?genre=book&isbn=978-94-017-0083-2 DS 同志社大学OPAC OL 30