高级数理逻辑

教授经典数据逻辑、模态逻辑、构造性逻辑等语义、语法、推理理论、独立性、完备性、可靠性等知识。