Title: 半符号逻辑
Subjects: Symbolic and mathematical Logic, Logic