| Страницы (по 30 записей на одной странице):
1 2 3 4 5 [с 1 по 30]
|
В конец списка |
|
|
|
|
|
|
|
| Азбука математической логики. | Мельников Г.П. |
Науч.-популяр. издание.- М.: "Знание", 1967.-104 с. | 510.6 | Книжный | | Библиотека им. Гаазе-Рапопорта | 1 |
|
| Аксиоматические системы теории множеств. | Хао Ван, Мак-Нотон Р. |
Науч. изд-е / Пер. с франц.; Под ред. Л.А. Калужнина.- М.: Изд-во иностр. лит., 1963.- 56 с. | 510.6 | Книжный | | Библиотека им. Гаазе-Рапопорта | 1 |
|
| Алиса в стране смекалки. | Смаллиан Р.М. |
Научно-популярное издание./ Пер. с англ. Ю.А.Данилова.- М.: Мир, 1987.- 182с.: ил. | 510.6 | Книжный | | Библиотека им. Гаазе-Рапопорта | 1 |
|
| Альтернативная теория множеств: Новый взгляд на бесконечность. | Вопенка П. |
Науч. издание / Пер. со словац.- Новосибирск.: Изд-во Ин-та математики, 2004.- 612 с.ISBN 5-86134-124-9 | 510.2 | Книжный | |
| Архимед. | Лурье С.Я. |
Науч.-популяр. издание.-М.-Л.: Изд-во АН СССР, 1945.- 272 с.- (Научно-популярная серия биографии). | 51 : 929 | Книжный | | Библиотека им. Гаазе-Рапопорта | 1 |
|
| Будущее прикладной математики. Лекции для молодых исследователей. | |
Сб. статей/ Под ред. Г.Г. Малинецкого.-М.:Едиториал УРСС,2005.-512с.ISBN 5-354-000956-1 | 51 | Книжный | |
| В царстве смекалки. | Игнатьев Е.И. |
Науч..-популяр. издание / Под ред. М.К. Потапова.- 2-е изд.- М.: Наука. Гл. ред. физ.-мат. лит., 1979.- 208 с.: ил. | 51 | Книжный | | Библиотека им. Гаазе-Рапопорта | 1 |
|
| Геометрические приложения алгебры логики. | Рвачев В.Л. |
Научное издание.- Киев: Изд-во "Техника", 1967.- 212с. | 510.633 | Книжный | | Библиотека им. Гаазе-Рапопорта | 1 |
|
| Гомоморфизмы и модели. Логико-алгебраические аспекты моделирования. | Гастев Ю.А. |
Науч. издание.- М.: "Наука", 1975.-152 с. | 510.6 | Книжный | |
| Диаграммы Венна.История и применения. | Кузичев А.С. |
Научное издание - М.: Наука, 1968.- 252с. | 510.6 | Книжный | | Библиотека им. Гаазе-Рапопорта | 1 | | Абонемент | 1 |
2 |
|
| Диалоги о математике. | Реньи А. |
Науч. издание / Пер. с англ.; Под ред. Б.В.Гнеденко.- М.: "Мир", 1969.- 96 с. | 51 | Книжный | | Библиотека им. Гаазе-Рапопорта | 1 | | Читальный зал | 1 | | Абонемент | 1 |
3 |
|
| Доказательства и опровержения. Как доказываются теоремы. | Лакатос И. |
Науч.- попул. изд./ Пер. с англ. И.Н.Веселовского.- М.: Наука, 1967.- 152с. | 510.6 | Книжный | | Библиотека им. Гаазе-Рапопорта | 1 |
|
| Жар холодных числ и пафос бесстрастной логики. Формализация мышления от античных времен до эпохи кибернетики. | Бирюков Б.В. |
Науч.-популяр. издание.- 2-е изд., перераб. и доп.- М.: Знание, 1985.-192 с. | 510.6 | Книжный | | Библиотека им. Гаазе-Рапопорта | 1 |
|
| Живая математика. Математические рассказы и головоломки. | Перельман Я.И. |
Науч.-популяр. издание.-2-е изд.- М.-Л.: ОГИЗ, 1946.- 184 с. | 51-8 | Книжный | | Библиотека им. Гаазе-Рапопорта | 1 |
|
| Занимательная логика. | Кольман Э., Зих О. |
Науч.-популяр. издание / Пер. с чешск.- М.: "Наука", 1966.- 128 с. | 510.6 | Книжный | |
| Здравый смыслъ точныхъ наукъ. Начала ученiя о числе и пространстве. | Клиффордъ Вильямъ |
Науч. издание / Пер. с 5-го англ. изд.- М.: Типография Т-ва И.Д. Сытина, 1910.- 346 с. | 51 | Книжный | | Библиотека им. Гаазе-Рапопорта | 1 |
|
| Значение и необходимость.Исследование по семантике и модальной логике. | Карнап Р. |
Научное издание./ Пер.Н.В.Воробьева; Под общ. ред. Д.А.Бочвара.- М.: Изд-во ин.лит.,1959.- 384с. | 510.6 | Книжный | | Библиотека им. Гаазе-Рапопорта | 1 |
|
| Избранные труды. | Марков А.А. |
Науч. издание/ Под ред. Н.М Нагорного.- М.: Изд-во МЦНМО, 2003T.2 : Теория алгорифмов.- 626 с.ISBN 5-94057-113-1 (том II)ISBN 5-94057-044-5 (Собр. соч.) » Показать описание полностью
| 510 | Книжный | |
| Индуктивная логика и формирование научного знания. | |
Сб. науч. статей.- М.: "Наука", 1987.- 185 с. | 510.6 | Книжный | |
| Интуиционизм. | Гейтинг А. |
Монография / Пер с англ.; Под ред. А.А. Маркова. - М.: "МИР", 1965.- 200 с. | 510.24 | Книжный | | Библиотека им. Гаазе-Рапопорта | 1 | | Абонемент | 1 |
2 |
|
| Исследование логических систем. | |
Сборник научных статей.- М.: Наука, 1970.- 334с. | 510.6 | Книжный | | Библиотека им. Гаазе-Рапопорта | 1 |
|
| Исследования по теории алгорифмов и математической логике. | |
Сборник научных статей.- М.: Наука, 1979.- 134с. | 510.5 | Книжный | | Библиотека им. Гаазе-Рапопорта | 1 |
|
| Исследования по формализованным языкам и неклассическим логикам. | |
Сборник научных статей.- М.: Наука, 1974.- 276с. | 510.64 | Книжный | | Библиотека им. Гаазе-Рапопорта | 2 |
|
| Исследования по формализованным языкам и неклассическим логикам. | |
Сб. науч. статей.- М.: "Наука", 1974.- 276 с. | 510.6 | Книжный | | Библиотека им. Гаазе-Рапопорта | 1 |
|
| Историко-математические исследования. | |
Сер.2. вып.1 (36) №1. - М.: "Янус", 1995 - 192с.ISBN 5-88929-016-9 | 51 | Книжный | |
| Историко-математические исследования. | |
Сер.2 вып.1 (36) №2. - М.: "Янус", 1996. - 272 с.ISBN 5-88929-007-X | 51 | Книжный | |
| История математики в древности и в средние века. | Цейтен Г.Г. |
Науч. издание / Пер. с франц.- М.-Л.: Гостехиздат, 1932.- 232 с. | 51 | Книжный | | Библиотека им. Гаазе-Рапопорта | 1 |
|
| История математики в древности. | Кольман Э. |
Науч. издание.- М.:Физматгиз, 1961.- 236 с. | 51 | Книжный | | Библиотека им. Гаазе-Рапопорта | 1 |
|
| История математики в средние века. | Юшкевич А.П. |
Науч. издание.- М.: Физматгиз, 1961.- 448 с. | 51 | Книжный | | Библиотека им. Гаазе-Рапопорта | 1 |
|
| История математики от Декарта до середины XIX столетия. | Вилейтнер Г. |
Науч. издание / Пер. с нем.; Под ред. А.П. Юшкевича.- М.: Физматгиз, 1960.- 468 с. | 51 | Книжный | | Библиотека им. Гаазе-Рапопорта | 1 |
|
|
| Страницы (по 30 записей на одной странице):
1 2 3 4 5 [с 1 по 30]
|
В начало списка |
