Успенский В. А. и др. Синтаксис (в логике). — 2014Успенский В. А. и др. Синтаксис (в логике) / Успенский В. А., Лахути Д. Г., Финн В. К., Чернявский В. С., Шиханович Ю. А. // Успенский В. А. Труды по нематематике. — 2-е изд., испр. и доп. — Кн. 2. — М. : ОГИ ; Фонд «Математические этюды», 2014. — С. 483—486.