朱水林编著. 形式化：现代逻辑的发展. 人民出版社出版.
Παραπομπή σε μορφή Chicago (17η εκδ.)朱水林编著. 形式化：现代逻辑的发展. 人民出版社出版.
Παραπομπή σε μορφή MLA (8th εκδ.)朱水林编著. 形式化：现代逻辑的发展. 人民出版社出版.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.
Παραπομπή σε μορφή APA (7η εκδ.)