机读格式显示(MARC)

• 000 00966nam a2200301 i 4500

• 001 0000393701

• 003 CAL

• 005 20210601145800.0

• 008 210408s2020 cc a b 000 0 eng d

• 020 __ |a 9787030668769 |q paperback |c CNY138.00

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

• 090 __ |a O141/E6

• 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 261060 |z 1

• 998 __ |a SHU