Поиск :
Личный кабинет :
Электронный каталог: Кипнис, М.М. - Генценовские системы для исчисления высказываний и аксиоматической арифметики
Кипнис, М.М. - Генценовские системы для исчисления высказываний и аксиоматической арифметики
Доступно
1 из 1
1 из 1
Книга
Автор: Кипнис, М.М.
Генценовские системы для исчисления высказываний и аксиоматической арифметики : учебное пособие
Издательство: ЧПИ, 1985 г.
ISBN отсутствует
Автор: Кипнис, М.М.
Генценовские системы для исчисления высказываний и аксиоматической арифметики : учебное пособие
Издательство: ЧПИ, 1985 г.
ISBN отсутствует
Заказать 
На полку
Книга
51 К42
Кипнис, М.М.
Генценовские системы для исчисления высказываний и аксиоматической арифметики : учебное пособие / М.М. Кипнис ; кол. авт. Челябинский государственный педагогический институт. – Челябинск : ЧПИ, 1985. – 32 с. : табл. : 0.30.
510.6(075.8)
общий = МАТЕМАТИЧЕСКАЯ ЛОГИКА
51 К42
Кипнис, М.М.
Генценовские системы для исчисления высказываний и аксиоматической арифметики : учебное пособие / М.М. Кипнис ; кол. авт. Челябинский государственный педагогический институт. – Челябинск : ЧПИ, 1985. – 32 с. : табл. : 0.30.
510.6(075.8)
общий = МАТЕМАТИЧЕСКАЯ ЛОГИКА
| Филиал | Всего | Доступно для брони | Доступно для выдачи | Бронирование |
|---|---|---|---|---|
| ОХОФ | 1 | 1 | 1 | Заказать |