検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Reflections on the foundations of mathematics : univalent foundations, set theory and general thoughts A1 Centrone, Stefania A1 Kant, Deborah A1 Sarikaya, Deniz YR 2019 FD c2019 SP xxviii, 494 p. K1 Set theory K1 Logic, Symbolic and mathematical PB Springer PP Cham SN 9783030156541 LA English (英語) CL LCC:QA248 CL DC23:511.3/22 NO 5.3.3 Products and Sums NO Includes bibliographical references NO 叢書名=Synthese library ; v. 407 NO 書誌ID=BB13130865; NCID=BB29361759; LK https://doors.doshisha.ac.jp/opac/opac_details/?lang=0&amode=11&bibid=BB13130865 DS 同志社大学OPAC OL 30