Пошуковий запит: <.>S=Математическая логика<.> |
Загальна кількість знайдених документів : 17
Показані документи с 1 за 10 |
|
1.
|
Форма документа : Багатотомне видання Шифр видання : 1(091)/Б 64 кн.1
Автор(и) : Бирюков, Борис Владимирович (1922 - 2015)
Назва : Трудные времена философии. Логика и философия в первые послесталинские годы. Математическая логика/ Б.В. Бирюков ; Русская ассоциация чтения. - (Наука в СССР : Через тернии к звездам). Кн. 1: Переломный период - при Сталине и после
Вихідні дані : Москва: URSS, 2014 Кільк.характеристики :267 с.
; 22 см.
Серія: ...; № 27
Примітки : Библиогр. в подстроч. примеч.
|
2.
|
Форма документа : Однотомне видання Шифр видання : 16/Б 64
Автор(и) : Бирюков, Борис Владимирович (1922 - 2015), Тростников, Виктор Николаевич
Назва : Жар холодных числ и пафос бесстрастной логики
: Формализация мышления от античных времен до эпохи кибернетики
. -Изд. стер. Вихідні дані : Москва: URSS: Либроком, 2017 Кільк.характеристики :228 с.:
ил.; 22 см.
Примітки : Библиогр. в примеч. в конце разд.. - На обл.: 3-е изд., перераб. и доп.
|
3.
|
Форма документа : Однотомне видання Шифр видання : 51(07)/Е 80
Автор(и) : Ершов, Юрий Леонидович, Палютин, Евгений Андреевич
Назва : Математическая логика
: учебное пособие для студентов математических специальностей высших учебных заведений
Вихідні дані : Москва: Наука, Главная редакция физико-математической литературы, 1979 Кільк.характеристики :320 с.
; 21 см.
Примітки : Предм. указ.: с. 314-318
|
4.
|
Форма документа : Однотомне видання Шифр видання : 16/К 26
Автор(и) : Карпенко, Александр Степанович (1946 - )
Назва : Логики Лукасевича и простые числа
: научное издание
Вихідні дані : Москва: URSS, 2007 Кільк.характеристики :255 с.
; 22 см.
Примітки : Библиогр.: с. 223-243. - Имен. указ.: с. 244-247. - Предм. указ.: с.248-249. - На 4-й с. обл. авт.: д-р филос. наук, проф. каф. логики филос. фак. МГУ, акад. РАЕН
|
5.
|
Форма документа : Однотомне видання Шифр видання : 51(07)/К 60
Автор(и) : Колмогоров, Андрей Николаевич (1903 - 1987), Драгалин, Альберт Григорьевич
Назва : Введение в математическую логику
: учебное пособие для студентов математических специальностей вузов
Вихідні дані : Москва: Издательство Московского университета, 1982 Кільк.характеристики :118, [2] с.
; 22 см.
Примітки : Библиогр.: в конце кн.
|
6.
|
Форма документа : Однотомне видання Шифр видання : 51(07)/К 60
Автор(и) : Колмогоров, Андрей Николаевич (1903 - 1987), Драгалин, Альберт Григорьевич
Назва : Математическая логика. Дополнительные главы
: учебное пособие для студентов вузов, обучающихся по специальности "Математика"
Вихідні дані : Москва: Издательство Московского университета, 1984 Кільк.характеристики :117, [2] с.
; 22 см.
Примітки : Библиогр.: в конце кн.
|
7.
|
Форма документа : Однотомне видання Шифр видання : 510.6/Л 68
Автор(и) : Лобанов, Владимир Иванович
Назва : Русская вероятностная логика
: Азбука математической логики
Вихідні дані : Москва: Русская правда, 2009 Кільк.характеристики :317 с.:
табл.; 22 см.
Примітки : Библиогр.: с. 310-313
|
8.
|
Форма документа : Однотомне видання Шифр видання : 1(470)Лосев/Л 79 рукописний текст
Автор(и) : Лосев, Алексей Федорович (1893 - 1988)
Назва : Критические заметки о буржуазной математической логике
Вихідні дані : Б.м., [20??] Кільк.характеристики :[41] л.
; 30 см.
Примітки : Перепеч. с изд.: Историко-математические исследования. 2003. Вып. 8 (43). с. 339-401
|
9.
|
Форма документа : Однотомне видання Шифр видання : 5/М 23
Автор(и) : Манин, Юрий Иванович
Назва : Доказуемое и недоказуемое
: Ю.И. Манин
Вихідні дані : Москва: Советское радио, 1979 Кільк.характеристики :165, [2] с.
; 20 см.
Серія: Кибернетика
Примітки : Библиогр.: с. 161-162. - Имен. указ.: с. 163-164. - Предм. указ.: в конце кн.
|
10.
|
Форма документа : Однотомне видання Шифр видання : 510.6/М 50
Автор(и) : Мендельсон, Эллиот (1931 - )
Назва : Введение в математическую логику
Вихідні дані : Москва: Наука, Главная редакция физико-математической литературы, 1971 Кільк.характеристики :320 с.
; 22 см.
Примітки : Библиогр.: с. 296-309. - Алф. указ.: с. 310-317
|
|
|