Смирнов В. А., Маркин В. И., Новодворский А. Е., & Смирнов А. В. (1996). Логика и компьютер: курс логики и компьютерный практикум; Вып. 3; Доказательство и его поиск. Москва, Наука, 1996.
Citazione stile Chigago Style (17a edizione)Смирнов В. А., Маркин В. И., Новодворский А. Е., e Смирнов А. В. Логика и компьютер: курс логики и компьютерный практикум; Вып. 3; Доказательство и его поиск. Москва, Наука, 1996, 1996.
Citatione MLA (9a ed.)Смирнов В. А., et al. Логика и компьютер: курс логики и компьютерный практикум; Вып. 3; Доказательство и его поиск. Москва, Наука, 1996, 1996.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.