Chang, C., Lee, R. c., & Maslov, S. J. (1983). MATEMATIČESKAJA LOGIKA I AVTOMATIČESKOJE DOKAZATEĽSTVO TEOREM. Nauka.
Chicago Style (17th ed.) CitationChang, Chin-Liang, Richard char-tung Lee, and S. Ju Maslov. MATEMATIČESKAJA LOGIKA I AVTOMATIČESKOJE DOKAZATEĽSTVO TEOREM. Moskva: Nauka, 1983.
MLA (9th ed.) CitationChang, Chin-Liang, et al. MATEMATIČESKAJA LOGIKA I AVTOMATIČESKOJE DOKAZATEĽSTVO TEOREM. Nauka, 1983.
Warning: These citations may not always be 100% accurate.