(波兰)塔尔斯基著;周礼全,吴允曾,宴成书译2011 年出版259 页ISBN:9787100078016
本书是著名的逻辑学家塔尔斯基对于现代数理逻辑进行了系统阐述的著作。
(波兰)塔尔斯基著;周礼全,吴允曾,晏成书译1963 年出版234 页ISBN:9787100005203
本书是著名的逻辑学家塔尔斯基对于现代数理逻辑进行了系统阐述的著作。
(英)帕金森(Parkinson,C.N.),(印)拉斯托姆吉(Rustomji,M.K.)著;刘桂琴,许德法译1990 年出版98 页ISBN:7203017230