RUSIST
Единый реестр книг

Математическая логика

Einführung in die Theorie der Begriffssysteme
1967
Kauppi Raili
1842
181
Svazy, v nichž platí obecně věta Jordan-Hölderova
1949
Kořínek Vladimír
2379
413
Дискретная математика : учебное пособие
2010
Хусаинов Ахмет Аксанович
678
150
Задачи по теории множеств, математической логике и теории алгоритмов
2002
Лавров Игорь Андреевич (канд. физ.-мат. наук)
780
405
La pensée mathématique pure
1960
Le Roy Édouard (1870-1954)
2405
278
Математическая логика : Конспект лекций по теорет. информатике
2001
Муха Юрий Петрович, Авдеюк Оксана Алексеевна, Скворцов Михаил Георгиевич
2948
115
Непрерывная логика (история, результаты, библиография) : монография
2008
Левин Виталий Ильич (д-р техн. наук; историк 1936-)
1180
227
The anatomy of mathematics
1950
Kershner Richard Brandon, Wilcox Lee Roy
1146
94
Логика в информатике : Метод. пособие
2001
Лыскова Вероника Юрьевна, Ракитина Елена Александровна
2269
473
Векторные логики: основания, концепции, модели
2007
Аршинский Леонид Вадимович
2360
128
Automation of reasoning
1983
821
127
Математика и логика цифровых устройств
1965
Калбертсон Джеймс Т.
976
362
Алгебра и логика : Учеб. пособие
2000
Дегтев Александр Николаевич
702
196
Логика и структура
2010
Дален Дирк ван
1685
116
Математическая логикa : учебное пособие : для студентов математических факультетов
2014
Алаев Павел Евгеньевич, Максимова Лариса Львовна
2168
409
Obtencion de logicas polivalentes : Método de multiplicación de matrices
1972
Bueno Sánchez Eramis; Ruiz Shulcloper José
2105
473
Mathematical logic in the 20th century
2003
Sacks Gerald E
1377
138
Парадокс лжеца и теория познания = Paradox of the liar and the epistemology : билингва
2011
Чернов Владислав Иванович (программист)
1429
434
Предикаты в школьном курсе математики
2001
Насибуллов Харис Хатыпович
1670
434
Sur un théorème de Skolem
1964
Porta Horacio
2782
246
Логики конечнозначных предикатов на основе неравенств : Учеб. пособие
2000
Косовский Николай Кириллович, Тишков Артем Валерьевич
1847
144
Aspekty algebraiczne systemu modalnego Gödla-Löba
1994
Hawranek Jacek
1285
203
Логические уравнения
2003
Закревский Аркадий Дмитриевич
2503
296
Основные вопросы математической логики : Учеб. пособие
1974
Кобышев А.А., Суринов Ю.А., Иванов В.С.
2284
126
O dynamické logice
1980
Hájek Petr, Kalášek Pavel, Kůrka Petr
2066
390
Алгоритмические головоломки
2017
Левитин Ананий В., Левитина Мария
602
245
Примеры формализации некоторых отношений
1961
Калужнин Лев Аркадьевич
1106
343
Aspectos de la lógica modal
1971
Makinson David
2228
293
Grundzüge der theoretischen Logik
1959
Hilbert David, Ackermann Wilhelm
2004
307
Дискретная математика : электронный курс : для самостоятельной работы студентов
2012
Матвеев Владимир Александрович (канд. физ.-мат. наук)
1371
515
Алгебра множеств
1979
Козлов Константин Петрович
1262
328
Тезисы кратких сообщений
1972
Всесоюзная конференция по математической логике (2 1972 Москва)
957
427
Дискретная математика. Математическая логика и теория алгоритмов : учебное пособие
2015
Дьячкина Ирина Павловна, Плотникова Надежда Валентиновна, Сарычева Ирина Анатольевна
2051
446
Конспект лекций по дискретной математике : с упражнениями и контрольными работами
2007
Галушкина Юлия Ивановна, Марьямов Александр Наумович
1370
58
Introduction to mathematical logic
1973
Hermes Hans
2096
85
Логический принцип евклидовой единственности
2017
Проскуряков Михаил Н.
741
401
Математическая логика : учебное пособие
2014
Хаджи Анна Александровна, Гаврикова Юлия Владимировна
1882
159
Логические основы математики : 10-11 классы : методические рекомендации
2007
Гетманова Александра Денисовна
985
256
Азбука математической логики
1967
Мельников Геннадий Прокопьевич ((лингвист) 1928-2000)
664
236
Методы обработки нестрогих высказываний
1998
Аршинский Леонид Вадимович
2732
297
Syntactic algebra: axioms for an algebra of functions
1965
Davis Allen S.
849
7
Дискретная математика: математическая логика, элементы теории кодирования и теории графов : учебное пособие
2009
Багинян Сергей Агабекович, Иванов Виктор Владимирович, Севастьянов Леонид Антонович
2999
140
Theory of formal systems
1961
Smullyan Raymond Merrill
729
147
Языки и исчисления
2000
Верещагин Н. К., Шень Александр Ханьевич
1174
377
Парадокс лжеца и теория познания = Paradox of the liar and the epistemology : билингва
2011
Чернов Владислав Иванович (программист)
2542
364
Математическая логика и машины
1962
Ефремов Георгий Осипович
828
114
Mathematical logic
1957
Goodstein Reuben Louis
2259
234
Relacje ancestralne w systemie semantyki
1938
Hetper Władysław
2034
132
Озадачник : 133 вопроса на знание логики, математики и физики
2017
Полуэктов Павел Петрович (д-р физ.-мат. наук 1949-2015)
1923
239
Математическая логика
1961
Гудстейн Рейбен Луис
1130
87
Прямая и обратная теоремы : Элементы алгебры логики
1972
Градштейн Израиль Соломонович
1441
367
Proceedings of the Third Brazilian conference on mathematical logic, [UFPe-Recife, Dec. 17-22, 1979]
1980
Brazilian conference on mathematical logic (3 1979 Recite)
1956
279
Конспект лекций по математической логике и теории множеств
1974
Гладкий Алексей Всеволодович
674
368
Курс математической логики и теории вычислимости : учебное пособие
2011
Герасимов Александр Сергеевич (канд. физ.-мат. наук математика)
1869
366
Русская логика для академиков и школьников
2014
Лобанов Владимир Иванович
853
278
Сильные операторы замыкания : учебное пособие
2017
Марченков Сергей Серафимович
2669
148
Нечеткая логика: алгебраические основы и приложения
2002
Блюмин Семен Львович, Шуйкова Инесса Анатольевна, Сараев П. В., Черпаков И. В.
2986
232
Logique, automatique, informatique
1971
Bîscă O.; Boicescu V.; Căzănescu V. E.
1339
162
Introduction to mathematical logic : Vol. 1-
1956
Church Alonzo
1749
291
Введение в математику
1957
Клини Стефен Коул
2958
283
Алгебраические и алгоритмические свойства логических исчислений : в 2 ч.
2009
Гончаров Сергей Севостьянович, Дроботун Борис Николаевич, Никитин Александр Александрович
2795
362
Лекции о вычислимых функциях
1960
Успенский Владимир Андреевич
2092
389
Введение в математическую логику
1960
Черч Алонзо
2389
285
Элементы математической логики : Пособие для учащихся 9-10 кл
1977
Кутасов Александр Дмитриевич
2432
200
Тезисы докладов
1969
Всесоюзный симпозиум по математической логике (1969 Алма-Ата)
2871
279
Компьютерные версии вычислений с оракулами : учебное пособие
2014
Ганов Валерий Александрович, Дегтерева Руслана Валерьевна, Карымов Владимир Рабхатович
1355
293
1-o Encontro brasileiro de lógica, 4-6 jul. 1977
1977
Encontro brasileiro de lógica (1 1977 Campinas)
1984
207
Математическая логика : учебно-методическое пособие
2004
Петрунина Светлана Николаевна
2140
263
Logic of statistical inference
1965
Hacking Ian
1857
189
Задачи по теории множеств, математической логике и теории алгоритмов
1995
Лавров Игорь Андреевич (канд. физ.-мат. наук)
831
430
Les reticules de Morgan et l'operation de Sheffer
1964
Monteiro Luiz F. T.; Picco Dario
850
63
Предел Кеплера
2006
Попов Валентин Германович
2772
100
Секреты логической зависимости
2001
Сидоренко Олег Иванович
1778
231
Проблема Лахлана
2009
Судоплатов Сергей Владимирович
793
91
Elementy logiki matematycznej : skrypt autoryzowany
2008
Łukasiewicz Jan
2753
328
Начала теории множеств
2008
Верещагин Николай Константинович, Шень А. Х.
2316
132
Elementary logic
1966
Quine Willard van Orman (1908-2000)
1824
155
Mathematik, Logik und Erfahrung
1970
Kraft Victor
2813
283
Die Grundlagen der Mathematik
1928
Hilbert David
1009
380
Математическая логика : курс лекций
2013
Изаак Дмитрий Давидович
1236
376
Дискретная математика: множества, логика, графы : учебно-методическое пособие
2014
Жарова И. Г., Ушенин Михаил Васильевич
1451
55
Математическая логика : учебное пособие
2010
Старикова Ольга Александровна
675
282
On variable functors of propositional arguments
1951
Lukasiewicz Jan
1240
158
Duality and definability in first order logic
1993
Makkai Michael
1387
271
Алгоритмы : построение и анализ
2004
Кормен Томас, Лейзерсон Чарльз, Ривест Рональд Линн
1619
448
Основы формальных логических языков : Учеб. пособие
2003
Коротков Максим Алексеевич, Степанов Евгений Олегович
1888
415
Математическая логика и теория алгоритмов : Задачник
2003
Романов Владимир Федорович
658
317
Также в рубрике и скоро будут опубликованы: