Поиск :
Личный кабинет :
Электронный каталог: Кипнис, М.М. - Генценовские системы для исчисления высказываний и аксиоматической арифметики
Кипнис, М.М. - Генценовские системы для исчисления высказываний и аксиоматической арифметики
Книга
Автор: Кипнис, М.М.
Генценовские системы для исчисления высказываний и аксиоматической арифметики : учебное пособие
Издательство: ЧПИ, 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 | Заказать |