Кипнис М. М. Михаил Маркович. (1985). Генценовские системы для исчисления высказываний и аксиоматической арифметики: учебное пособие. Челябинск, Изд-во ЧПИ, 1985.
Чикаго стиль цитування (17-те видання)Кипнис М. М. Михаил Маркович. Генценовские системы для исчисления высказываний и аксиоматической арифметики: учебное пособие. Челябинск, Изд-во ЧПИ, 1985, 1985.
Стиль цитування MLA (9-ме видання)Кипнис М. М. Михаил Маркович. Генценовские системы для исчисления высказываний и аксиоматической арифметики: учебное пособие. Челябинск, Изд-во ЧПИ, 1985, 1985.
Попередження: стилі цитування не завжди правильні на всі 100%.