Кипнис М. М. Михаил Маркович. (1985). Генценовские системы для исчисления высказываний и аксиоматической арифметики: учебное пособие. Челябинск, Изд-во ЧПИ, 1985.
Chicago Style (17th ed.) CitationКипнис М. М. Михаил Маркович. Генценовские системы для исчисления высказываний и аксиоматической арифметики: учебное пособие. Челябинск, Изд-во ЧПИ, 1985, 1985.
MLA (9th ed.) CitationКипнис М. М. Михаил Маркович. Генценовские системы для исчисления высказываний и аксиоматической арифметики: учебное пособие. Челябинск, Изд-во ЧПИ, 1985, 1985.
Warning: These citations may not always be 100% accurate.