公理化真理论研究(2022)(精)/国家哲学社会科学成果文库

作者简介

李娜 女，1958年生，河南开封市人。研究方向：现代逻辑。巾同逻辑学会会员。1978年至1982年在河南大学数学系学习，获理学学士学位。1986至1989年在巾国科学院软件研究所学习，获理学硕士学位。现任南开大学哲学院逻辑教研室教授、博十生导师。主持多项省级或国家级社会科学研究项目；出版《数理逻辑的思想与方法》、《集合论含有原子的自然模型和布尔值模型》等学术专著，发表《GB的布尔值模型》等多篇学术论文；获得 人文礼会科学优秀成果二等奖1次、三等奖1次。

内容简介