Standard completeness for semilinear substructural logics / 半线性子结构逻辑的标准完备性 / 王三民.
Saved in:
Main Authors: | |
---|---|
Published: |
Science Press,
|
Publisher Address: | Beijing : |
Publication Dates: | 2020. |
Literature type: | Book |
Language: | English |
Subjects: | |
Carrier Form: | iv, 257 pages ; 24 cm |
Bibliography: | Includes bibliographical references. |
ISBN: |
9787030668769 7030668766 |
Index Number: | QA9 |
CLC: | O141 |
Call Number: | O141/W246/chi |