Поисковый запрос: <.>S=Математическая логика<.> |
Общее количество найденных документов : 43
Показаны документы с 1 по 20 |
|
1. ![](http://irbis.losev-library.ru/webirbis/images/printer.png)
|
Вид документа : Однотомное издание Шифр издания : 51 ЛМК/W67
Автор(ы) : Wigge, Heinrich
Заглавие : Der Zahlbegriff in der neueren Philosophie
: eine kritische Studie
Выходные данные : Langensalza: Wendt & Klauwell, 1921 Колич.характеристики :[4], 56 c.
; 24 см.
Примечания : Библиогр.: с. 56 (17 назв.)
|
2. ![](http://irbis.losev-library.ru/webirbis/images/printer.png)
|
Вид документа : Многотомное издание Шифр издания : 51 ЛМК/A88
Автор(ы) : Asser, Günter
Заглавие : Einführung in die mathematische Logik: [Teil 1 - 3]/ von Dr. G. Asser, Prof. mit vollem Lehrauftrag am Mathematische Inst. der Ernst-Moritz-Arndt-Universität Greifswald. - 3. unveränd. Aufl.. T. 1: Aussagenkalkül
Выходные данные : Berlin: B. G. Teubner, 1967 Колич.характеристики :IV, [2], 184 c.:
табл.
Серия: Mathematisch-Naturwissenschaftliche Bibliothek; 18
Примечания : Библиогр. в конце предисл.: с. [VI] (15 назв.)
|
3. ![](http://irbis.losev-library.ru/webirbis/images/printer.png)
|
Вид документа : Однотомное издание Шифр издания : 51 ЛМК/M70
Автор(ы) : Milnes, Alfred (1849 - 1921)
Заглавие : Elementary notions of logic
: designed as prolegomena to the study of geometry
. -2nd ed., rev. a. enl. Выходные данные : London: W. Swan Sonnenschein & Co., 1884 Колич.характеристики :IX, [1], 135 c.:
ил.; 19 см.
|
4. ![](http://irbis.losev-library.ru/webirbis/images/printer.png)
|
Вид документа : Однотомное издание Шифр издания : 51 ЛМК/L44
Автор(ы) : Lebesgue, Henri Léon (1875 - 1941)
Заглавие : Leçons sur l'intégration et la recherche des fonctions primitives, professées au Collège de France par Henri Lebesgue ...
Выходные данные : Paris: Gauthier-Villars, 1904 Колич.характеристики :[2], VII, [1], 138 c.:
табл.; 25 см.
Серия: Collection de monographies sur la théorie des fonctions/ publiée sous la direction de m. Émile Borel
|
5. ![](http://irbis.losev-library.ru/webirbis/images/printer.png)
|
Вид документа : Многотомное издание Шифр издания : 51 ЛМК/S33
Автор(ы) : Schröder, Ernst (1841 - 1902)
Заглавие : Vorlesungen über die Algebra der Logik: (exakte Logik) : [Band 1 - 3]/ von Dr. Ernst Schröder ... . Bd. 1
Выходные данные : Leipzig: Druck und Verlag von B. G. Teubner, 1890 Колич.характеристики :XII, 717 c.:
ил.
Примечания : Библиогр.: с. 700 - 715. - Указ имен: с. 716 - 717
|
6. ![](http://irbis.losev-library.ru/webirbis/images/printer.png)
|
Вид документа : Однотомное издание Шифр издания : 51 ЛМК/К 95
Автор(ы) : Кутюра, Луи (1868 - 1914)
Заглавие : Алгебра логики
Выходные данные : Одесса: Mathesis, 1909 Колич.характеристики :IV, [2], 108, XIII, [1] с.
; 23 см.
Примечания : Библиогр.: с. 103 - 104 (19 назв.)
|
7. ![](http://irbis.losev-library.ru/webirbis/images/printer.png)
|
Вид документа : Однотомное издание Шифр издания : 51 ЛМК/П 58
Автор(ы) : Попов, Александр Иванович (1899 - 1973)
Заглавие : Введение в математическую логику
Выходные данные : [Ленинград]: Издательство Ленинградского университета, 1959 Колич.характеристики :106, [2] с.:
табл.; 22 см.
Примечания : Библиогр. в конце кн.: с. 106 - [107] (26 назв.)
|
8. ![](http://irbis.losev-library.ru/webirbis/images/printer.png)
|
Вид документа : Однотомное издание Шифр издания : 51 ЛМК/М 50
Автор(ы) : Мендельсон, Эллиот
Заглавие : Введение в математическую логику
Выходные данные : Москва: Наука, Главная редакция физико-математической литературы, 1971 Колич.характеристики :320 с.:
ил.; 22 см.
Перевод издания: Introduction to mathematical logic. -Princeton, New Jersey [etc.]
Примечания : Библиогр.: с. 296 - 309. - Алф. указ.: с. 310 - 317
|
9. ![](http://irbis.losev-library.ru/webirbis/images/printer.png)
|
Вид документа : Многотомное издание Шифр издания : 51 ЛМК/Ч-50 Т. 1
Автор(ы) : Чёрч, Алонзо (1903 - 1995)
Заглавие : Введение в математическую логику/ А. Чёрч ; пер. с англ. В. С. Чернявского ; под ред [и с предисл.] В. А. Успенского. T. 1
Выходные данные : Москва: Издательство иностранной литературы, 1960 Колич.характеристики :484, [1] c.:
ил., табл.
Перевод издания: Introduction to mathematical logic. Vol. 1. -Princeton, New Jersey, 1956
Примечания : Библиогр. в примеч.: с. 340 - 460. - Предм. указ.: с. 461 - 477. - Указ. имен: с. 478 - 481
|
10. ![](http://irbis.losev-library.ru/webirbis/images/printer.png)
|
Вид документа : Однотомное издание Шифр издания : 16 ЛМК/Г 56
Автор(ы) : Горский, Дмитрий Павлович, Уваров, Леонид Васильевич, Толкачев, Александр Антонович
Заглавие : Гносеологические проблемы формализации
: [монография
Выходные данные : Минск: Наука и техника, 1969 Колич.характеристики :265, [2] с.
; 21 см.
Коллективы :
Институт философии и права (Минск)
Примечания : Библиогр. в подстроч. примеч.. - Авт. указаны в содерж.
|
11. ![](http://irbis.losev-library.ru/webirbis/images/printer.png)
|
Вид документа : Однотомное издание Шифр издания : 51 ЛМК/Л 19
Автор(ы) : Лакатос, Имре (1922 - 1974)
Заглавие : Доказательства и опровержения
: как доказываются теоремы
Выходные данные : Москва: Наука, 1967 Колич.характеристики :150, [2] с.:
ил.; 20 см.
Примечания : Библиогр. в конце кн.: с. 146 - [151]
|
12. ![](http://irbis.losev-library.ru/webirbis/images/printer.png)
|
Вид документа : Однотомное издание Шифр издания : 51 ЛМК/Л 59
Автор(ы) : Линдон, Рогер Конант (1917 - 1988)
Заглавие : Заметки по логике
Выходные данные : Москва: Мир, 1968 Колич.характеристики :127, [1] с.:
ил.; 20 см.
Серия: "Современная математика": популярная серия
Перевод издания: Notes on logic. -Princeton, New Jersey [etc.], 1966
Примечания : Библиогр.: с. 123. - Указ.: с. 124 - 127
|
13. ![](http://irbis.losev-library.ru/webirbis/images/printer.png)
|
Вид документа : Однотомное издание Шифр издания : 51 ЛМК/К 62
Автор(ы) : Кольман, Эрнест Яромирович (1892 - 1979), Зих, Отокар
Заглавие : Занимательная логика
: [перевод с чешского]
Выходные данные : Москва: Наука, 1966 Колич.характеристики :126, [1] с.:
ил., табл.; 20 см.
Серия: Научно-популярная серия/ Акад. наук СССР
Примечания : Библиогр.: с. 124 (8 назв.)
|
14. ![](http://irbis.losev-library.ru/webirbis/images/printer.png)
|
Вид документа : Однотомное издание Шифр издания : 1(430)Наторп ЛМК/Н 33
Автор(ы) : Наторп, Пауль (1854 - 1924)
Заглавие : Логика
: обоснование и логическое построение математики и математического естествознания : (cжатое пособие к лекциям)
Выходные данные : С.-Петербург: Улей, 1909 Колич.характеристики :VII, [1], 64 с.
; 22 см.
Примечания : Библиогр. в конце предисл..: с. [VIII] (10 назв.)
|
15. ![](http://irbis.losev-library.ru/webirbis/images/printer.png)
|
Вид документа : Многотомное издание Шифр издания : 16 ЛМК/Г 59
Автор(ы) : Гокиели, Леван Петрович (1901 - 1975)
Заглавие : Логика: [монография : часть 1 - 2]/ Л. П. Гокиели ; [Акад. наук Груз. ССР, Ин-т философии]. - Парал. тит. л. груз.. [Ч.] 2
Выходные данные : Тбилиси: Мецниереба, 1967 Колич.характеристики :269, [2] с.
Примечания : Библиогр. в подстроч. примеч. - Указ. в конце кн.: с. 256 - [270]
|
16. ![](http://irbis.losev-library.ru/webirbis/images/printer.png)
|
Вид документа : Однотомное издание Шифр издания : 16 ЛМК/Л 69
Заглавие : Логика и онтология
: [сборник статей]
Выходные данные : Москва: Наука, 1978 Колич.характеристики :260, [1] с.:
ил.; 20 см.
Коллективы :
Институт истории, филологии и философии (Новосибирск)
Примечания : Библиогр. в подстроч. примеч.
|
17. ![](http://irbis.losev-library.ru/webirbis/images/printer.png)
|
Вид документа : Однотомное издание Шифр издания : 51/Л 69
Автор(ы) : Айзерман, Марк Аронович, Гусев, Леонид Алексеевич, Розоноэр, Лев Ильич
Заглавие : Логика. Автоматы. Алгоритмы
Выходные данные : Москва: Государственное издательство физико-математической литературы, 1963 Колич.характеристики :556 с.:
ил., табл.; 21 см.
Примечания : Библиогр.: c. 536 - 549 (284 назв.). - Указ. имен: с. 550. - Предм. указ.: с. 551 - 556
|
18. ![](http://irbis.losev-library.ru/webirbis/images/printer.png)
|
Вид документа : Однотомное издание Шифр издания : 16 ЛМК/Л 69
Заглавие : Логическая структура научного знания
: [сборник статей]
Выходные данные : Москва: Наука, 1965 Колич.характеристики :348, [2] с.:
ил.; 21 см.
Коллективы :
Институт философии (Москва)
Примечания : Библиогр. в конце ст.
|
19. ![](http://irbis.losev-library.ru/webirbis/images/printer.png)
|
Вид документа : Однотомное издание Шифр издания : 16 ЛМК/Л 69
Заглавие : Логические исследования
: сборник статей
Выходные данные : Москва: Издательство Академии наук СССР, 1959 Колич.характеристики :465, [1] с.:
ил., табл.; 23 см.
Коллективы :
Институт философии (Москва)
Примечания : Библиогр. в конце ст.
|
20. ![](http://irbis.losev-library.ru/webirbis/images/printer.png)
|
Вид документа : Однотомное издание Шифр издания : 51 ЛМК/П 30
Автор(ы) : Петров, Юрий Александрович (1927 - 2001)
Заглавие : Логические проблемы абстракций бесконечности и осуществимости
Выходные данные : Москва: Наука, 1967 Колич.характеристики :163, [1] с.
; 20 см.
Примечания : Библиогр.: с. 160 - 162 (82 назв.)
|
|
|