Поисковый запрос: <.>U=510.6<.> |
Общее количество найденных документов : 23
Показаны документы с 1 по 20 |
|
1.
|
Вид документа : Однотомное издание Шифр издания : 51 ЛМК/W67
Автор(ы) : Wigge, Heinrich
Заглавие : Der Zahlbegriff in der neueren Philosophie
: eine kritische Studie
Выходные данные : Langensalza: Wendt & Klauwell, 1921 Колич.характеристики :[4], 56 c.
; 24 см.
Примечания : Библиогр.: с. 56 (17 назв.)
|
2.
|
Вид документа : Многотомное издание Шифр издания : 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.
|
Вид документа : Однотомное издание Шифр издания : 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.
|
Вид документа : Однотомное издание Шифр издания : 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.
|
Вид документа : Многотомное издание Шифр издания : 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.
|
Вид документа : Однотомное издание Шифр издания : 51 ЛМК/К 95
Автор(ы) : Кутюра, Луи (1868 - 1914)
Заглавие : Алгебра логики
Выходные данные : Одесса: Mathesis, 1909 Колич.характеристики :IV, [2], 108, XIII, [1] с.
; 23 см.
Примечания : Библиогр.: с. 103 - 104 (19 назв.)
|
7.
|
Вид документа : Однотомное издание Шифр издания : 51 ЛМК/М 50
Автор(ы) : Мендельсон, Эллиот
Заглавие : Введение в математическую логику
Выходные данные : Москва: Наука, Главная редакция физико-математической литературы, 1971 Колич.характеристики :320 с.:
ил.; 22 см.
Перевод издания: Introduction to mathematical logic. -Princeton, New Jersey [etc.]
Примечания : Библиогр.: с. 296 - 309. - Алф. указ.: с. 310 - 317
|
8.
|
Вид документа : Многотомное издание Шифр издания : 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
|
9.
|
Вид документа : Однотомное издание Шифр издания : 51 ЛМК/П 58
Автор(ы) : Попов, Александр Иванович (1899 - 1973)
Заглавие : Введение в математическую логику
Выходные данные : [Ленинград]: Издательство Ленинградского университета, 1959 Колич.характеристики :106, [2] с.:
табл.; 22 см.
Примечания : Библиогр. в конце кн.: с. 106 - [107] (26 назв.)
|
10.
|
Вид документа : Однотомное издание Шифр издания : 51 ЛМК/Л 19
Автор(ы) : Лакатос, Имре (1922 - 1974)
Заглавие : Доказательства и опровержения
: как доказываются теоремы
Выходные данные : Москва: Наука, 1967 Колич.характеристики :150, [2] с.:
ил.; 20 см.
Примечания : Библиогр. в конце кн.: с. 146 - [151]
|
11.
|
Вид документа : Однотомное издание Шифр издания : 1(430)Наторп ЛМК/Н 33
Автор(ы) : Наторп, Пауль (1854 - 1924)
Заглавие : Логика
: обоснование и логическое построение математики и математического естествознания : (cжатое пособие к лекциям)
Выходные данные : С.-Петербург: Улей, 1909 Колич.характеристики :VII, [1], 64 с.
; 22 см.
Примечания : Библиогр. в конце предисл..: с. [VIII] (10 назв.)
|
12.
|
Вид документа : Многотомное издание Шифр издания : 16 ЛМК/Г 59
Автор(ы) : Гокиели, Леван Петрович (1901 - 1975)
Заглавие : Логика: [монография : часть 1 - 2]/ Л. П. Гокиели ; [Акад. наук Груз. ССР, Ин-т философии]. - Парал. тит. л. груз.. [Ч.] 2
Выходные данные : Тбилиси: Мецниереба, 1967 Колич.характеристики :269, [2] с.
Примечания : Библиогр. в подстроч. примеч. - Указ. в конце кн.: с. 256 - [270]
|
13.
|
Вид документа : Однотомное издание Шифр издания : 16 ЛМК/Ц 34
Автор(ы) : Целищев, Виталий Валентинович (1942 - )
Заглавие : Логическая истина и эмпиризм
: [монография]
Выходные данные : Новосибирск: Наука, Сибирское отделение, 1974 Колич.характеристики :112, [2] с.
; 22 см.
Примечания : Библиогр. в конце кн.: с. 111 - [113] (85 назв.)
|
14.
|
Вид документа : Однотомное издание Шифр издания : 51 ЛМК/П 30
Автор(ы) : Петров, Юрий Александрович (1927 - 2001)
Заглавие : Логические проблемы абстракций бесконечности и осуществимости
Выходные данные : Москва: Наука, 1967 Колич.характеристики :163, [1] с.
; 20 см.
Примечания : Библиогр.: с. 160 - 162 (82 назв.)
|
15.
|
Вид документа : Однотомное издание Шифр издания : 51 ЛМК/Г 47
Автор(ы) : Карри, Хаскелл Брукс (1900 - 1982)
Заглавие : Основания математической логики
Выходные данные : Москва: Мир, 1969 Колич.характеристики :567, [1] с.:
ил.; 22 см.
Перевод издания: Foundations of mathematical logic. -New York [etc.], 1963
Примечания : Библиогр.: с. 518 - 547. - Указ. символов: с. 548. - Указ. терминов: с. 549 - 562. - Указ. имен: с. 563 - 567
|
16.
|
Вид документа : Однотомное издание Шифр издания : 51 ЛМК/Г 47
Автор(ы) : Гильберт, Давид (1862 - 1943), Аккерман, Вильгельм Фридрих
Заглавие : Основы теоретической логики
Выходные данные : Москва: Государственное издательство иностранной литературы, 1947 Колич.характеристики :302, [4] с.:
ил., табл.; 21 см.
Перевод издания: Grundzuge der theoretischen Logik. -2., verb. Aufl.. -New York, 1946
Примечания : Библиогр.: с. 297 - 298. - Предм. указ.: с. 299 - 302
|
17.
|
Вид документа : Однотомное издание Шифр издания : 51/Б 48
Автор(ы) : Беркли, Эдмунд (1909 - 1988)
Заглавие : Символическая логика и разумные машины
Выходные данные : Москва: Издательство иностранной литературы, 1961 Колич.характеристики :260 с.:
ил.; 21 см.
Перевод издания: Symbolic logic and intelligent machines. -New York ; London
Примечания : Библиогр.: с. 241 - 252
|
18.
|
Вид документа : Однотомное издание Шифр издания : 51 ЛМК/К 33
Автор(ы) : Кейслер, Г. Джером (1936 - ), Чэн, Чень-чунь
Заглавие : Теория непрерывных моделей
: ретроспектива и перспективы
Выходные данные : Москва: Мир, 1971 Колич.характеристики :184 с.
; 20 см.
Перевод издания: Continuous model theory. -Princeton, New Jersey, 1966
Примечания : Библиогр.: с. 173 - 177. - Указ.: с. 178 - 182
|
19.
|
Вид документа : Однотомное издание Шифр издания : 111 ЛМК/Н 48
Автор(ы) : Некрасов, Павел Алексеевич (1853 - 1924)
Заглавие : Философия и логика науки о массовых проявлениях человеческой деятельности
: (пересмотр оснований социальной физики Кетле) : [читано в заседании Московского математического общества 24 сентября 1902 года]
Выходные данные : Москва: Издание Математического общества, состоящего при Императорском Московском университете, 1902 Колич.характеристики :V, [1], 138, [1] с.
; 26 см.
Примечания : Библиогр. в подстроч. примеч.. - Отт. из "Мат. сб." Т. 23
|
20.
|
Вид документа : Однотомное издание Шифр издания : 51 ЛМК/К 95
Автор(ы) : Кутюра, Луи (1868 - 1914)
Заглавие : Философские принципы математики
Выходные данные : СПб.: Издание Н. П. Карбасникова, 1913 Колич.характеристики :VIII, 260, [5] с.
; 25 см.
Примечания : Библиогр. в подстроч. примеч. - Указ. имен в конце кн.
|
|
|