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