摘要
自20世纪20年代起,数理逻辑传入了中国,并沿着自己的道路在中国发展。在中国,最先介绍数理逻辑的是汪奠基,而后影响较大的是金岳霖。新中国成立后,我们自己培养的数理逻辑研究队伍在不断地发展壮大。数理逻辑分别有逻辑演算、递归论、模型论、公理集合论、证明论。我国数理逻辑工作者近年来在这几方面都取得了相当大的进展。
出处
《北京航空航天大学学报（社会科学版）》
2000年第1期12-17,共6页
Journal of Beijing University of Aeronautics and Astronautics：Social Sciences edition Edition
