База данных: Ретро кітаптар
Беті 1, Нәтижелерін: 3
Отмеченные записи: 0
1.
Подробнее
М50
Мендельсон, Э.
Введение в математическую логику [Текст] : пер.с англ.Ф.А.Кабакова / Под ред.С.И.Адяна. - М. : Наука, 1971. - 320 с. - 100.00 тг.
ББК 22.12
Рубрики: Физико-математические науки
Кл.слова (ненормированные):
математика -- логика -- исчисление высказываний -- кванторы -- формальная арифметика
Экземпляры всего: 1
2.1-№2 Ч/З (1)
Свободны: 2.1-№2 Ч/З (1)
М50
Мендельсон, Э.
Введение в математическую логику [Текст] : пер.с англ.Ф.А.Кабакова / Под ред.С.И.Адяна. - М. : Наука, 1971. - 320 с. - 100.00 тг.
Рубрики: Физико-математические науки
Кл.слова (ненормированные):
математика -- логика -- исчисление высказываний -- кванторы -- формальная арифметика
Экземпляры всего: 1
2.1-№2 Ч/З (1)
Свободны: 2.1-№2 Ч/З (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)
3.
Подробнее
С30
Семантика модальных и интенсиональных логик [Текст] / Сост.В.А.Смирнова. - М. : Прогресс, 1981. - 424 с. - 1р.60к. тг.
Рубрики: ПСИХОЛОГИЯ
ЛОГИКА
Кл.слова (ненормированные):
модальность -- семантика -- фильтрация -- кванторы -- прагматика -- анализ -- интенсиональная логика
Экземпляры всего: 2
6.1-№8 оқу залы (1), 2.1-№2 оқу залы (1)
Свободны: 6.1-№8 оқу залы (1), 2.1-№2 оқу залы (1)
С30
Семантика модальных и интенсиональных логик [Текст] / Сост.В.А.Смирнова. - М. : Прогресс, 1981. - 424 с. - 1р.60к. тг.
| УДК |
Рубрики: ПСИХОЛОГИЯ
ЛОГИКА
Кл.слова (ненормированные):
модальность -- семантика -- фильтрация -- кванторы -- прагматика -- анализ -- интенсиональная логика
Экземпляры всего: 2
6.1-№8 оқу залы (1), 2.1-№2 оқу залы (1)
Свободны: 6.1-№8 оқу залы (1), 2.1-№2 оқу залы (1)
Беті 1, Нәтижелерін: 3