(波兰)塔尔斯基著;周礼全,吴允曾,宴成书译2011 年出版259 页ISBN:9787100078016
本书是著名的逻辑学家塔尔斯基对于现代数理逻辑进行了系统阐述的著作。
(波兰)塔尔斯基著;周礼全,吴允曾,晏成书译1963 年出版234 页ISBN:9787100005203
本书是著名的逻辑学家塔尔斯基对于现代数理逻辑进行了系统阐述的著作。
(苏)萨马尔斯基(А.А.Самарский),(苏)安德烈耶夫(В.Б.Андреев)著;武汉大学计算数学教研室译1984 年出版368 页ISBN:13031·2678
(德)彼得·科斯罗夫斯基(PeterKoslowski),陈筠泉主编1997 年出版226 页ISBN:7500420552