Cita APA (7th ed.)

Смирнов В. А., Маркин В. И., Новодворский А. Е., & Смирнов А. В. (1996). Логика и компьютер: курс логики и компьютерный практикум; Вып. 3; Доказательство и его поиск. Москва, Наука, 1996.

Cita Chicago (17th ed.)

Смирнов В. А., Маркин В. И., Новодворский А. Е., i Смирнов А. В. Логика и компьютер: курс логики и компьютерный практикум; Вып. 3; Доказательство и его поиск. Москва, Наука, 1996, 1996.

Cita MLA (9th ed.)

Смирнов В. А., et al. Логика и компьютер: курс логики и компьютерный практикум; Вып. 3; Доказательство и его поиск. Москва, Наука, 1996, 1996.