517.11(075.8) К424 2 Кипнис, Михаил     Генценовские системы для исчисления высказываний и аксиоматической арифметики [Текст] : учеб. пособие / Михаил Кипнис. — Челябинск : [б. и.], 1985. — 32 с.

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