机读格式显示(MARC)

• 000 00946nam a2200289 i 4500

• 001 0000739625

• 003 SCNU

• 005 20210907102200.0

• 008 210408s2020 cc a b 000 0 eng d

• 020 __ |a 9787030668769 |q paperback

• 040 __ |a SHU |b eng |e rda |c SHU

• 093 __ |a O141 |2 5

• 099 __ |a CAL 022021032232

• 100 1_ |a Wang, Sanmin |9 (王三民), |e author.

• 245 10 |a Standard completeness for semilinear substructural logics / |c Wang Sanmin = 半线性子结构逻辑的标准完备性 / 王三民.

• 246 31 |a 半线性子结构逻辑的标准完备性

• 264 _1 |a Beijing : |b Science Press, |c [2020]

• 300 __ |a iv, 257 pages ; |c 24 cm.

• 336 __ |a text |2 rdacontent

• 337 __ |a unmediated |2 rdamedia

• 338 __ |a volume |2 rdacarrier

• 504 __ |a Includes bibliographical references (pages [256]-257)

• 650 _0 |a Logic, Symbolic and mathematical.

• 650 _0 |a Fuzzy logic.

• 650 _0 |a Mathematical analysis.

• 920 __ |a 242430 |z 1

• 950 __ |a SCNU |f O141/W246