検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Truth, proof, and infinity : a theory of constructions and contructive reasoning A1 Fletcher, Peter, 1939- YR 1998 FD 1998 SP ix, 469 p. K1 Mathematics -- Philosophy K1 Arithmetic K1 Mathematical analysis PB Kluwer Academic PP Doedrecht ; Boston SN 0792352629 LA English (英語) CL LCC:QA8.4 CL DC21:510/.1 NO Includes bibliographical references and indexes NO 叢書名=Synthese library ; v. 276 NO 書誌ID=BB00408836; NCID=BA38845442; LK https://doors.doshisha.ac.jp/opac/opac_details/?lang=0&amode=11&bibid=BB00408836 DS 同志社大学OPAC OL 30