519.5 К891 2 Кузнецов, Владимир     Метод вынуждения с точки зрения формальной системы G+ генценовского типа [Текст] / Владимир Кузнецов. — Киев : Изд-во Ин-та математики, 1991. — 59 с.

Наявність
Установа	Кількість	Документ на сайті установи
Науково-технічна бібліотека Львівського національного університету «Львівська політехніка»	1	Перейти на сайт