База данных: Ретро кітаптар
Беті 1, Нәтижелерін: 2
Отмеченные записи: 0
1.
Подробнее
Н731
Новиков, П. С.
Конструктивная математическая логика с точки зрения классической [Текст] / П. С. Новиков. - М. : Наука, 1977. - 328 с. - 1р.43к. тг.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
ВЫСШАЯ МАТЕМАТИКА
Кл.слова (ненормированные):
логика -- логика высказываний -- исчисление -- арифметика
Экземпляры всего: 1
6.1-№8 оқу залы (1)
Свободны: 6.1-№8 оқу залы (1)
Н731
Новиков, П. С.
Конструктивная математическая логика с точки зрения классической [Текст] / П. С. Новиков. - М. : Наука, 1977. - 328 с. - 1р.43к. тг.
| УДК |
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
ВЫСШАЯ МАТЕМАТИКА
Кл.слова (ненормированные):
логика -- логика высказываний -- исчисление -- арифметика
Экземпляры всего: 1
6.1-№8 оқу залы (1)
Свободны: 6.1-№8 оқу залы (1)
2.
Подробнее
М340
Математическая логика [Текст] : учебное пособие / Л.А.Латонин, Ю.А.Макаренков, В.В.Николаева, А.А.Столяр.Под общей ред. А.А.Столярова. - Минск : Вышэйшая школа, 1991. - 191 с. - ISBN 5-339-00342-6 : [Б.ц.] тг., 96т. 51т. тг.
ББК 22.12я73
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
математика -- информатика -- логика высказываний -- логика предикатов -- алгоритмы
Экземпляры всего: 18
5.2-№6 оқу залы (15), 7-5 (2), 8-3 (1)
Свободны: 5.2-№6 оқу залы (15), 7-5 (2), 8-3 (1)
М340
Математическая логика [Текст] : учебное пособие / Л.А.Латонин, Ю.А.Макаренков, В.В.Николаева, А.А.Столяр.Под общей ред. А.А.Столярова. - Минск : Вышэйшая школа, 1991. - 191 с. - ISBN 5-339-00342-6 : [Б.ц.] тг., 96т. 51т. тг.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
математика -- информатика -- логика высказываний -- логика предикатов -- алгоритмы
Экземпляры всего: 18
5.2-№6 оқу залы (15), 7-5 (2), 8-3 (1)
Свободны: 5.2-№6 оқу залы (15), 7-5 (2), 8-3 (1)
Беті 1, Нәтижелерін: 2