APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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