§ 简历
１９３６年赴奥地利和德国进修。１９３８年回国，曾任西南联合大学、清华大学教授。建国后，历任北京大学教授、中国逻辑学会第一届副理事长、北京市逻辑学会第一届理事长、中国数理逻辑学会理事长。长期从事普通逻辑和数理逻辑的研究，提倡形式逻辑现代化。著有《数理逻辑引论》，撰有论文《数理逻辑和形式逻辑》、《论蕴涵》等。
百科全书收录594082条中文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。