検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Electronic DC OPAC T1 Advanced Łukasiewicz calculus and MV-algebras A1 Mundici, D A1 ebrary, Inc YR 2011 FD 2011 VO e-book K1 Logic, Symbolic and mathematical PB Springer PP Dordrecht SN 9789400708402 LA English (英語) CL LCC:BC135 NO Includes bibliographical references and index NO License restrictions may limit access NO 書誌ID=OB01023041; XISBN=9789400708396; LK https://link.springer.com/openurl?genre=book&isbn=978-94-007-0840-2 DS 同志社大学OPAC OL 30