数理逻辑基础 meaning in Chinese
fundations of mathematical logic
Examples
- R . cori & d . lascar : mathematical logic ? a course with exercises , part i . oxford university press , 2001
陈慕泽余俊伟：数理逻辑基础? ?一阶逻辑与一阶理论，中国人民大学出版社2003 。
fundations of mathematical logic