Chang, C., & Lee, R. C. (1983). Matematičeskaja logika i avtomatičeskoe dokazatel'stvo teorem. Nauka.
Chicago-Zitierstil (17. Ausg.)Chang, Chin-Liang, und Richard Char-Tung Lee. Matematičeskaja Logika I Avtomatičeskoe Dokazatel'stvo Teorem. Moskva: Nauka, 1983.
MLA-Zitierstil (9. Ausg.)Chang, Chin-Liang, und Richard Char-Tung Lee. Matematičeskaja Logika I Avtomatičeskoe Dokazatel'stvo Teorem. Nauka, 1983.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.