Персоналии: Воронков Андрей Александрович

Персоналии

RUS ENG

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

Воронков Андрей Александрович

	Публикации в базе данных Math-Net.Ru	Цитирования
	1988
1.	А. А. Воронков, “Конструктивная истинность и конструктивные исчисления”, Докл. АН СССР, 299:1 (1988), 26–30 ; A. A. Voronkov, “Constructive truth and constructive calculi”, Dokl. Math., 37:2 (1988), 313–316
2.	А. А. Воронков, “Теория моделей, основанная на конструктивном понимании истинности”, Тр. Ин-та математики, 8 (1988), 25–42

Организации

Обратная связь: