База данных: Ретро кітаптар
Беті 1, Нәтижелерін: 2
Отмеченные записи: 0
1.
Подробнее
М501
Мендельсон, Э.
Введение в математическую логику [Текст] / Под ред.С.И.Ядана. - М. : Наука, 1976. - 220 с. - 1р.65к. тг.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
ЛОГИКА
Кл.слова (ненормированные):
математика -- математическая логика -- тавтология -- исчисление -- арифметика -- множества -- интерпретация
Экземпляры всего: 1
6-5 (1)
Свободны: 6-5 (1)
М501
Мендельсон, Э.
Введение в математическую логику [Текст] / Под ред.С.И.Ядана. - М. : Наука, 1976. - 220 с. - 1р.65к. тг.
| УДК |
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
ЛОГИКА
Кл.слова (ненормированные):
математика -- математическая логика -- тавтология -- исчисление -- арифметика -- множества -- интерпретация
Экземпляры всего: 1
6-5 (1)
Свободны: 6-5 (1)
2.
Подробнее
М50
Мендельсон, Э.
Введение в математическую логику [Текст] / Э. Мендельсон. - М. : Наука, 1971. - 320 с. - 1р.70к. тг., 100т. 00т. тг.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
ВЫЧИСЛИТЕЛЬНАЯ МАТЕМАТИКА
Кл.слова (ненормированные):
тавтология -- кванторы -- правило -- система аксиом -- математика -- математическая логика
Экземпляры всего: 2
2.1-№2 оқу залы (2)
Свободны: 2.1-№2 оқу залы (2)
М50
Мендельсон, Э.
Введение в математическую логику [Текст] / Э. Мендельсон. - М. : Наука, 1971. - 320 с. - 1р.70к. тг., 100т. 00т. тг.
| УДК |
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
ВЫЧИСЛИТЕЛЬНАЯ МАТЕМАТИКА
Кл.слова (ненормированные):
тавтология -- кванторы -- правило -- система аксиом -- математика -- математическая логика
Экземпляры всего: 2
2.1-№2 оқу залы (2)
Свободны: 2.1-№2 оқу залы (2)
Беті 1, Нәтижелерін: 2