Поисковый запрос: <.>S=Математическая логика<.> |
Общее количество найденных документов : 17
Показаны документы с 1 по 10 |
|
1.
|
Вид документа : Однотомное издание Шифр издания : 1(430)Фреге/Ф 86
Автор(ы) : Фреге, Готлоб (1848 - 1925)
Заглавие : Логика и логическая семантика
: сборник трудов
Выходные данные : Москва: Аспект-пресс, 2000 Колич.характеристики :511, [1] с.:
ил., портр.; 24 см.
Коллективы :
Федеральная программа книгоиздания России
Примечания : Имен. указ.: с. 509-511. - Библиогр. в подстроч. примеч.
|
2.
|
Вид документа : Однотомное издание Шифр издания : 51/С 88
Автор(ы) : Стяжкин, Николай Иванович
Заглавие : Становление идей математической логики
: [монография]
Выходные данные : Москва: Наука , 1964 Колич.характеристики :303, [1] с.
; 21 см.
Примечания : Библиогр.: с. 277 - 298. - Указ. имен: с. 299 - 302
|
3.
|
Вид документа : Однотомное издание Шифр издания : 16/К 26
Автор(ы) : Карпенко, Александр Степанович (1946 - )
Заглавие : Логики Лукасевича и простые числа
: научное издание
Выходные данные : Москва: URSS, 2007 Колич.характеристики :255 с.
; 22 см.
Примечания : Библиогр.: с. 223-243. - Имен. указ.: с. 244-247. - Предм. указ.: с.248-249. - На 4-й с. обл. авт.: д-р филос. наук, проф. каф. логики филос. фак. МГУ, акад. РАЕН
|
4.
|
Вид документа : Однотомное издание Шифр издания : 510.6/Л 68
Автор(ы) : Лобанов, Владимир Иванович
Заглавие : Русская вероятностная логика
: Азбука математической логики
Выходные данные : Москва: Русская правда, 2009 Колич.характеристики :317 с.:
табл.; 22 см.
Примечания : Библиогр.: с. 310-313
|
5.
|
Вид документа : Однотомное издание Шифр издания : 1(470)Лосев/Л 79 рукописный текст
Автор(ы) : Лосев, Алексей Федорович (1893 - 1988)
Заглавие : Критические заметки о буржуазной математической логике
Выходные данные : Б.м., [20??] Колич.характеристики :[41] л.
; 30 см.
Примечания : Перепеч. с изд.: Историко-математические исследования. 2003. Вып. 8 (43). с. 339-401
|
6.
|
Вид документа : Однотомное издание Шифр издания : 51/П 59
Автор(ы) : Порецкий, Платон Сергеевич (1846 - 1908)
Заглавие : Логические равенства
: О способах решения логических равенств и об обратном способе математической логики
Выходные данные : Москва: Русская Правда, 2011 Колич.характеристики :159 с.:
портр., факс.; 20 см.
Серия: Русская вероятностная логика
Примечания : Список науч. работ П. С. Порецкого: с. 6-9. - Библиогр.: с. 9 (6 назв.). - На 4 с. обл.: Порецкий Платон Сергеевич - русский логик, астроном и математик
|
7.
|
Вид документа : Многотомное издание Шифр издания : 1(091)/Б 64 кн.1
Автор(ы) : Бирюков, Борис Владимирович (1922 - 2015)
Заглавие : Трудные времена философии. Логика и философия в первые послесталинские годы. Математическая логика/ Б.В. Бирюков ; Русская ассоциация чтения. - (Наука в СССР : Через тернии к звездам). Кн. 1: Переломный период - при Сталине и после
Выходные данные : Москва: URSS, 2014 Колич.характеристики :267 с.
; 22 см.
Серия: ...; № 27
Примечания : Библиогр. в подстроч. примеч.
|
8.
|
Вид документа : Однотомное издание Шифр издания : 5/М 23
Автор(ы) : Манин, Юрий Иванович
Заглавие : Доказуемое и недоказуемое
: Ю.И. Манин
Выходные данные : Москва: Советское радио, 1979 Колич.характеристики :165, [2] с.
; 20 см.
Серия: Кибернетика
Примечания : Библиогр.: с. 161-162. - Имен. указ.: с. 163-164. - Предм. указ.: в конце кн.
|
9.
|
Вид документа : Однотомное издание Шифр издания : 51(07)/Е 80
Автор(ы) : Ершов, Юрий Леонидович, Палютин, Евгений Андреевич
Заглавие : Математическая логика
: учебное пособие для студентов математических специальностей высших учебных заведений
Выходные данные : Москва: Наука, Главная редакция физико-математической литературы, 1979 Колич.характеристики :320 с.
; 21 см.
Примечания : Предм. указ.: с. 314-318
|
10.
|
Вид документа : Однотомное издание Шифр издания : 510.6/Н 73
Автор(ы) : Новиков, Петр Сергеевич (1901 - 1975)
Заглавие : Элементы математической логики
Выходные данные : Москва: Государственное издательство физико-математической литературы, 1959 Колич.характеристики :400 с.
; 21 см.
Серия: Математическая логика и основания математики
|
|
|