RT Book, Whole SR Print DC OPAC T1 An introduction to substructural logics A1 Restall, Greg,(1969-) FD 2000. SP xiv, 381 p. K1 Logic, Symbolic and mathematical. PB Routlege PP London PP New York SN 0415215331 CL NDC:116 NO Includes bibliographical references and index. NO 書誌ID=1000234859; NCID=BA45117773; LK [OPAC]https://opac.icu.ac.jp/opac/opac_link/bibid/1000234859 LK [Webcat Plus]http://webcatplus-equal.nii.ac.jp/libportal/DocDetail?hdn_if_lang=jpn&txt_docid=NCID:BA45117773; [Webcat Plus]http://webcatplus-equal.nii.ac.jp/libportal/EqualFromForm?txt_isbn=0415215331