Поисковый запрос: <.>S=Математическая логика<.> |
Общее количество найденных документов : 17
Показаны документы с 1 по 10 |
|
1. ![](http://irbis.losev-library.ru/webirbis/images/printer.png)
|
Вид документа : Однотомное издание Шифр издания : 510.6/Н 73
Автор(ы) : Новиков, Петр Сергеевич (1901 - 1975)
Заглавие : Элементы математической логики
Выходные данные : Москва: Государственное издательство физико-математической литературы, 1959 Колич.характеристики :400 с.
; 21 см.
Серия: Математическая логика и основания математики
|
2. ![](http://irbis.losev-library.ru/webirbis/images/printer.png)
|
Вид документа : Однотомное издание Шифр издания : 51/С 88
Автор(ы) : Стяжкин, Николай Иванович
Заглавие : Становление идей математической логики
: [монография]
Выходные данные : Москва: Наука , 1964 Колич.характеристики :303, [1] с.
; 21 см.
Примечания : Библиогр.: с. 277 - 298. - Указ. имен: с. 299 - 302
|
3. ![](http://irbis.losev-library.ru/webirbis/images/printer.png)
|
Вид документа : Однотомное издание Шифр издания : 510.6/С 81
Автор(ы) : Столл, Роберт Р.
Заглавие : Множества. Логика. Аксиоматические теории
Выходные данные : Москва: Просвещение, 1968 Колич.характеристики :230, [1] с.
; 22 см.
Серия: Математическое просвещение
Перевод издания: Sets, logic and axiomatic theories. -San Francisco ; London, [1961]
|
4. ![](http://irbis.losev-library.ru/webirbis/images/printer.png)
|
Вид документа : Однотомное издание Шифр издания : 510.6/М 50
Автор(ы) : Мендельсон, Эллиот (1931 - )
Заглавие : Введение в математическую логику
Выходные данные : Москва: Наука, Главная редакция физико-математической литературы, 1971 Колич.характеристики :320 с.
; 22 см.
Примечания : Библиогр.: с. 296-309. - Алф. указ.: с. 310-317
|
5. ![](http://irbis.losev-library.ru/webirbis/images/printer.png)
|
Вид документа : Однотомное издание Шифр издания : 510.6/Н 73
Автор(ы) : Новиков, Петр Сергеевич (1901 - 1975)
Заглавие : Конструктивная математическая логика
Выходные данные : Москва: Наука, Главная редакция физико-математической литературы, 1977 Колич.характеристики :328 с.
; 21 см.
Серия: Математическая логика и основания математики
Примечания : Библиогр.: с. 318-320. - Указ. имен: с. 323. - Предм. указ.: с. 324-328
|
6. ![](http://irbis.losev-library.ru/webirbis/images/printer.png)
|
Вид документа : Однотомное издание Шифр издания : 5/М 23
Автор(ы) : Манин, Юрий Иванович
Заглавие : Доказуемое и недоказуемое
: Ю.И. Манин
Выходные данные : Москва: Советское радио, 1979 Колич.характеристики :165, [2] с.
; 20 см.
Серия: Кибернетика
Примечания : Библиогр.: с. 161-162. - Имен. указ.: с. 163-164. - Предм. указ.: в конце кн.
|
7. ![](http://irbis.losev-library.ru/webirbis/images/printer.png)
|
Вид документа : Однотомное издание Шифр издания : 51(07)/Е 80
Автор(ы) : Ершов, Юрий Леонидович, Палютин, Евгений Андреевич
Заглавие : Математическая логика
: учебное пособие для студентов математических специальностей высших учебных заведений
Выходные данные : Москва: Наука, Главная редакция физико-математической литературы, 1979 Колич.характеристики :320 с.
; 21 см.
Примечания : Предм. указ.: с. 314-318
|
8. ![](http://irbis.losev-library.ru/webirbis/images/printer.png)
|
Вид документа : Однотомное издание Шифр издания : 51(07)/К 60
Автор(ы) : Колмогоров, Андрей Николаевич (1903 - 1987), Драгалин, Альберт Григорьевич
Заглавие : Введение в математическую логику
: учебное пособие для студентов математических специальностей вузов
Выходные данные : Москва: Издательство Московского университета, 1982 Колич.характеристики :118, [2] с.
; 22 см.
Примечания : Библиогр.: в конце кн.
|
9. ![](http://irbis.losev-library.ru/webirbis/images/printer.png)
|
Вид документа : Однотомное издание Шифр издания : 51(07)/К 60
Автор(ы) : Колмогоров, Андрей Николаевич (1903 - 1987), Драгалин, Альберт Григорьевич
Заглавие : Математическая логика. Дополнительные главы
: учебное пособие для студентов вузов, обучающихся по специальности "Математика"
Выходные данные : Москва: Издательство Московского университета, 1984 Колич.характеристики :117, [2] с.
; 22 см.
Примечания : Библиогр.: в конце кн.
|
10. ![](http://irbis.losev-library.ru/webirbis/images/printer.png)
|
Вид документа : Однотомное издание Шифр издания : 1(430)Фреге/Ф 86
Автор(ы) : Фреге, Готлоб (1848 - 1925)
Заглавие : Логика и логическая семантика
: сборник трудов
Выходные данные : Москва: Аспект-пресс, 2000 Колич.характеристики :511, [1] с.:
ил., портр.; 24 см.
Коллективы :
Федеральная программа книгоиздания России
Примечания : Имен. указ.: с. 509-511. - Библиогр. в подстроч. примеч.
|
|
|