01已出版的书籍

  0101 R-演算: 一种信念修正逻辑, 科学出版社2021, ISBN9787030685834

  0102 R-Calculus: A belief revision logic 2021ISBN978-981-16-2943-3

  0103 R-Calculus II: Multi-valued logics 2022ISBN

978-981-16-9293-2

  0104 R-Calculus III: Post three-valued logic 2022ISBN

978-981-19-4269-3

  0105 R-Calculus IV: Propositional logic 2023ISBN978-981-19-8632-1

  0106 R-Calculus V: Description logics 2024ISBN

978-981-16-2943-3

  0107 R-Calculus VI: Finite-injury method 2025ISBN

978-981-97-5829-6

02未出版的书籍（ 如果需要全文的, 请email: yfsui@ict.ac.cn.）

  0201 Three-valued computation

  0202 Multi-valued computations

  0203 Infinite-many-valued computation

  0204 Product and sum of multi-valued logics

03已出版的译作

  0301 Mathematical logic and computation

04未出版的译作（如果需要全文的, 请email: yfsui@ict.ac.cn.）

  0401 Model theory

  0402 Set theory

  0403 Set theory with emphasis on the method of forcing

  0404 Recursion theory

  0405 Higher recursion theory

  0406 Proof theory-Takeuti