APA (7th ed.) Citation

Chang, C., & Lee, R. C. (1983). Matematičeskaja logika i avtomatičeskoe dokazatel'stvo teorem. Nauka.

Chicago Style (17th ed.) Citation

Chang, Chin-Liang, and Richard Char-Tung Lee. Matematičeskaja Logika I Avtomatičeskoe Dokazatel'stvo Teorem. Moskva: Nauka, 1983.

MLA (9th ed.) Citation

Chang, Chin-Liang, and Richard Char-Tung Lee. Matematičeskaja Logika I Avtomatičeskoe Dokazatel'stvo Teorem. Nauka, 1983.