{

Institute of Logic and Cognition

|  HOME  | ABOUT US |  PEOPLE  | RESEARCH | TEACHING |  EVENTS  | LINKS  |  PUBLICATION  |
 
Mathematical Logic

1. Model Theory for Quantified Boolean Formulas

  • Model-Equivalent Reductions
  • Minimal Unsatisfiable Formulas

2. Set Theory and Algebra

  • Set theoretical problems of symmetric groups
  • The topological structure of symmetric groups

 
article录入：admin    责任编辑：admin 
站长：LOGICBOY