Смирнов В.А. (1972). Формальный вывод и логичечкие исчиления. Наука.
Чикаго маягийн жагсаалтСмирнов В.А. Формальный вывод и логичечкие исчиления. М: Наука, 1972.
MLA ишлэлСмирнов В.А. Формальный вывод и логичечкие исчиления. Наука, 1972.
Warning: These citations may not always be 100% accurate.