Смирнов В.А. (1972). Формальный вывод и логичечкие исчиления. Наука.
Цитирование в стиле Чикаго (17-е изд.)Смирнов В.А. Формальный вывод и логичечкие исчиления. М: Наука, 1972.
Цитирование MLA (8-е изд.)Смирнов В.А. Формальный вывод и логичечкие исчиления. Наука, 1972.
Предупреждение: эти цитированмия не могут быть всегда правильны на 100%.