APA (7th ed.) Citation

Chang, C., Lee, R. c., & Maslov, S. J. (1983). MATEMATIČESKAJA LOGIKA I AVTOMATIČESKOJE DOKAZATEĽSTVO TEOREM. Nauka.

Chicago Style (17th ed.) Citation

Chang, 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.) Citation

Chang, Chin-Liang, et al. MATEMATIČESKAJA LOGIKA I AVTOMATIČESKOJE DOKAZATEĽSTVO TEOREM. Nauka, 1983.