検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Modern perspectives in type-theoretical semantics A1 Chatzikyriakidis, Stergios A1 Luo, Zhaohui YR 2017 FD c2017 SP vii, 296 p. K1 Type theory K1 Semantics PB Springer PP Cham SN 9783319504209 LA English (英語) NO Includes bibliographical references NO 叢書名=Studies in linguistics and philosophy ; v. 98 NO 書誌ID=BB12999483; NCID=BB23343288; LK https://doors.doshisha.ac.jp/opac/opac_details/?lang=0&amode=11&bibid=BB12999483 DS 同志社大学OPAC OL 30