Поисковый запрос: (<.>K=Математическая логика<.>) |
Общее количество найденных документов : 53
Показаны документы с 1 по 10 |
|
1. 
|
Вид документа : Однотомное издание
Шифр издания : Мт IV|8/С 30
Автор(ы) : Семендяев К.А.
Заглавие : Эмпирические формулы
: Составлено по Липка и Рэннингу
Выходные данные : М.; Л.: Гос. технико-теорет. изд-во, 1933
Колич.характеристики :88 с.:
ил., табл.
Цена : Б.ц.
Предметные рубрики: Математика
Ключевые слова (''Своб.индексиров.''): математическая логика--основания математики
Экземпляры :ФТИ(1)
Свободны : ФТИ(1)
Перейти: http://www.e-heritage.ru/Book/10073211
Найти похожие
|
2.
|
Вид документа : Однотомное издание
Шифр издания : Мт|116/Ч-11
Автор(ы) : Чёрч А.
Заглавие : Введение в математическую логику
: Перевод с английского. Т. 1
Выходные данные : М.: Изд-во иностранной литературы, 1960
Колич.характеристики :486 с.:
ил.
Цена : 2.34, р.
Предметные рубрики: МАТЕМАТИКА
Ключевые слова (''Своб.индексиров.''): математическая логика
Экземпляры :ФТИ(1)
Свободны : ФТИ(1)
Найти похожие
|
3.
|
Вид документа : Однотомное издание
Шифр издания : Мт|104/П 76
Заглавие : Применение логики в науке и технике
Выходные данные : М.: Изд-во АН СССР, 1960
Колич.характеристики :560 с.:
ил.
Коллективы :
АН СССР
Примечания : Библиогр. в конце ст.
Цена : 18.00, 1.80, р.
Предметные рубрики: МАТЕМАТИКА
Ключевые слова (''Своб.индексиров.''): математическая логика
Экземпляры : всего : ФТИ(2)
Свободны : ФТИ(2)
Найти похожие
|
4.
|
Вид документа : Однотомное издание
Шифр издания : Мт|167/Б 48
Автор(ы) : Беркли Э.
Заглавие : Символическая логика и разумные машины
: Перевод с английского
Выходные данные : М.: Изд-во иностранной литературы, 1961
Колич.характеристики :260 с.:
ил.; 21 см
Примечания : Библиогр.: с. 241-252
Цена : 1.03, р.
Предметные рубрики: МАТЕМАТИКА
Ключевые слова (''Своб.индексиров.''): математическая логика--счетные машины
Экземпляры : всего : ФТИ(2)
Свободны : ФТИ(2)
Найти похожие
|
5.
|
Вид документа : Однотомное издание
Шифр издания : Мт|349/Л69
Автор(ы) : Айзерман М.А., Гусев Л.А., Розоноэр Л.И.
Заглавие : Логика. Автоматы. Алгоритмы
Выходные данные : М.: Физматгиз, 1963
Колич.характеристики :556 с.:
ил.; 21 см
Цена : 1.45, р.
ББК : Мт I-1 + Мт IX-5.0
Предметные рубрики: МАТЕМАТИКА
Ключевые слова (''Своб.индексиров.''): математическая логика--теория автоматов--алгоритмы
Экземпляры :ФТИ(1)
Свободны : ФТИ(1)
Найти похожие
|
6.
|
Вид документа : Однотомное издание
Шифр издания : Мт|429/К17
Автор(ы) : Калужнин Л.А.
Заглавие : Что такое математическая логика
Выходные данные : М.: Наука , 1964
Колич.характеристики :151 с.:
ил.; 20 см
Цена : 0.21, р.
ББК : Мт I-2
Предметные рубрики: МАТЕМАТИКА
Ключевые слова (''Своб.индексиров.''): математическая логика
Экземпляры :ФТИ(1)
Свободны : ФТИ(1)
Найти похожие
|
7.
|
Вид документа : Однотомное издание
Шифр издания : Мт|422/С88
Автор(ы) : Стяжкин Н.И.
Заглавие : Становление идей математической логики
Выходные данные : М.: Наука , 1964
Колич.характеристики :304 с.:
ил.; 20 см
Коллективы :
Ин-т философии АН СССР
Цена : 0.95, р.
ББК : Мт I-2
Предметные рубрики: МАТЕМАТИКА
Ключевые слова (''Своб.индексиров.''): математическая логика
Экземпляры :ФТИ(1)
Свободны : ФТИ(1)
Найти похожие
|
8.
|
Вид документа : Однотомное издание
Шифр издания : Мт|491/М34
Заглавие : Математическая логика и ее применения
: Сборник статей: перевод с английского
Выходные данные : М.: Мир , 1965
Колич.характеристики :341 с.:
ил.; 22 см
Примечания : Доп. тит. л.: Logic, methodology and philosophy of science
Цена : 1.65, р.
ББК : Мт I-1.2;082
Предметные рубрики: МАТЕМАТИКА
Ключевые слова (''Своб.индексиров.''): математическая логика--сборники статей
Экземпляры :ФТИ(1)
Свободны : ФТИ(1)
Найти похожие
|
9.
|
Вид документа : Однотомное издание
Шифр издания : Мт|613/М34
Заглавие : Математическая теория логического вывода
: Сборник переводов
Выходные данные : М.: Наука , 1967
Колич.характеристики :351 с.:
ил.; 22 см
Серия: Математическая логика и основания математики
Цена : 1.79, р.
ББК : Мт I-2
Предметные рубрики: МАТЕМАТИКА
Ключевые слова (''Своб.индексиров.''): математическая логика--сборники статей
Экземпляры :ФТИ(1)
Свободны : ФТИ(1)
Найти похожие
|
10.
|
Вид документа : Однотомное издание
Шифр издания : Мт|583/С88
Автор(ы) : Стяжкин Н.И.
Заглавие : Формирование математической логики
Выходные данные : М.: Наука , 1967
Колич.характеристики :508 с.:
ил.; 22 см
Коллективы :
АН СССР
Цена : 2.26, р.
ББК : Мт I-1.2
Предметные рубрики: МАТЕМАТИКА
Ключевые слова (''Своб.индексиров.''): математическая логика
Экземпляры :ФТИ(1)
Свободны : ФТИ(1)
Найти похожие
|
|
|
|
Электронный каталог (ЭК) Библиотеки Российской академии наук (БАН)
Описание ЭК