（苏）布加耶夫斯基（Бугаевский，Л.М.），（苏）波尔特诺夫（Портнов，А.М.）著；林开愚，周广森译1992 年出版363 页ISBN：7503001828
（苏）栗弗席兹（Лифшиц，Е.М.），（苏）皮塔也夫斯基著；郭新凯等译1993 年出版482 页ISBN：7040030373
（苏）巴尔科夫斯基（Н.А.Барковский），（苏）科穆多夫（А.М.Коммодов）著；北京铁道学院译1956 年出版122 页ISBN：15043·220
（波兰）塔尔斯基著；周礼全，吴允曾，晏成书译2017 年出版259 页ISBN：9787100005203
本书是著名的逻辑学家塔尔斯基对于现代数理逻辑进行了系统阐述的著作。
（波兰）塔尔斯基著；周礼全，吴允曾，宴成书译2011 年出版259 页ISBN：9787100078016
本书是著名的逻辑学家塔尔斯基对于现代数理逻辑进行了系统阐述的著作。
（波兰）塔尔斯基著；周礼全，吴允曾，晏成书译1963 年出版234 页ISBN：9787100005203
本书是著名的逻辑学家塔尔斯基对于现代数理逻辑进行了系统阐述的著作。
