| 1. |
Алтаев Ж.А. |
Әл-Фараби және заманауи Қазақстан философиясы | 2012 |
 |
| 2. |
|
1998 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '98 | 2003 |
|
| 3. |
Герасимова Л.Г. Смоляк Р.В. |
1С:Бухгалтерия 7.7. Повседневные операции. Советы опытного бухгалтера | 2005 |
|
| 4. |
0 |
Artificial Intelligence, Genetic Programming | n/a |
|
| 5. |
Типлер Ф.Д. |
c | 1998 |
|
| 6. |
Moscovich I. |
Fiendishly Difficult Math Puzzles | 1991 |
|
| 7. |
Амаглобели М.Г. Ремесленников В.Н. |
G-тождества и G-многообразия | 2000 |
|
| 8. |
Hintikka J. |
The Principles of Mathematics Revisited | 1998 |
|
| 9. |
Бут Э. Бут К. |
Автоматические цифровые машины | 1959 |
|
| 10. |
Гаек П. Гавранек Т. |
Автоматическое образование гипотез | 1984 |
|
| 11. |
Пономарев К.Н. |
Автоморфизмы тензорных пополнений алгебр | 2005 |
|
| 12. |
Ромина А.В. |
Автоустойчивость гиперарифметичских моделей | 2000 |
|
| 13. |
Ершов Ю.Л. (ред.) Каргаполов М.И. (ред.) |
Алгебра и логика. Том 13. (№6 1974) | 1974 |
|
| 14. |
Калужнин Л.А. Берман С.Д. и др. |
Алгебра и математическая логика (сборник) | 1966 |
|
| 15. |
Лупанов О.Б. (ред.) Кострикин А.И. (ред.) |
Алгебра, логика и теория чисел | 1986 |
|
| 16. |
Колесников П.С. |
Алгебраически замкнутое тело Макар—Лиманова | 2000 |
|
| 17. |
Тишковский Д.Е. |
Алгебраические эквиваленты некотрых свойств суперинтуиционистских предикатных логик | 2001 |
|
| 18. |
Чиликов А.А. |
Алгоритмические проблемы в кольцах положительной характеристики 01.01.06 — математическая логика, алгебра и теория чисел | 2001 |
|
| 19. |
Алимов Ю.И. |
Альтернатива методу математической статистики | 1980 |
|
| 20. |
Алимов Ю.И. |
Альтернатива методу математической статистики | 1980 |
|
| 21. |
Скворцов Е.С. |
Амальгамы клонов | 2005 |
|
| 22. |
Морозова С.В. |
Базисные ранги разрешимых многообразий групп и l-групп | 2000 |
|
| 23. |
Корюкин А.Н. |
Базисы Гребнера—Ширшова алгебры Ли An | 2005 |
|
| 24. |
Аверьянов Л.Я. |
Беседы с Сократом и Платоном | 2002 |
|
| 25. |
Веников Г. В. |
Библиотека по автоматике. Выпуск 199. Сверхбыстродействующие вычислительные устройства | 1966 |
|
| 26. |
Гинзбург С.А. |
Библиотека по автоматике. Выпуск 274. Математическая непрерывная логика и изображение функций | 1968 |
|
| 27. |
Киблицкий В.А. Грейнер Г.Р. Май В.П. |
Библиотека по автоматике. Выпуск 588. Стендовая проверка и макетирование бесконтактных логических схем | 1978 |
|
| 28. |
Фленов М.Е. |
Библия Delphi (издание 2) | 2008 |
|
| 29. |
Фленов М. |
Библия Delphi (1ое издание) | 2004 |
|
| 30. |
Дехтярь М.И. |
Булевы функции. Лекции по дискретной математике | n/a |
|
| 31. |
Яблонский С.В. |
Введение в дискретную математику | 2008 |
|
| 32. |
Мендельсон Э. |
Введение в математическую логику | 1971 |
|
| 33. |
Мендельсон Э. |
Введение в математическую логику | 1971 |
|
| 34. |
Мендельсон Э. |
Введение в математическую логику | 1971 |
|
| 35. |
Мендельсон Э. |
Введение в математическую логику | 1971 |
|
| 36. |
Колмогоров А.Н. Драгалин А.Г. |
Введение в математическую логику | 1982 |
|
| 37. |
Мендельсон Э. |
Введение в математическую логику | 1984 |
|
| 38. |
Чёрч А. |
Введение в математическую логику 1 | 1960 |
|
| 39. |
Рассел Б. |
Введение в математическую философию | 2007 |
|
| 40. |
Кудрявцев В.Б. Гасанов Э.Э. Подколзин А.С. |
Введение в теорию интеллектуальных систем | 2006 |
|
| 41. |
Нейман Дж. |
Вероятностная логика и синтез надежных организмов из ненадежных компонент | n/a |
|
| 42. |
Нейман Дж. |
Вероятностная логика и синтез надежных организмов из ненадежных компонент | n/a |
|
| 43. |
Кайберг Г. |
Вероятность и индуктивная логика | 1978 |
|
| 44. |
Яковлев А.А. |
Взаимодействие групп интересов и их влияние на экономические реформы в современной России | 2004 |
|
| 45. |
Пинус А.Г. |
Внутреннние гомоморфизмы и позитивно-условные термы | 2001 |
|
| 46. |
Де Боно Э. |
Водная логика | 2006 |
|
| 47. |
Адян С.И. |
Вопросы кибернетики. Сложность вычислений и прикладная, математическая логика. | 1988 |
|
| 48. |
Иванов В.В. |
Вопросы кибернетики. Язык логики и логика языка | 1990 |
|
| 49. |
|
Всесоюзная школа по теории функций, посвященная 100-летию со дня рождения академика Н.Н. Лузина. Тезисы докладов | 1983 |
|
| 50. |
Бардаков В.Г. |
Вычисление коммутаторной длины в свободных группах | 2000 |
|
| 51. |
Булос Дж. Джеффри Р. |
Вычислимость и логика | 1994 |
|
| 52. |
Гуттман Б. Гриффитс Э. Сузуки Д. |
Генетика (1ое издание) | 2004 |
|
| 53. |
Гуттман Б. |
Генетика (издание 1) | 2004 |
|
| 54. |
Александров А.Д. Вернер А.Л. Рыжик В.И. |
Геометрия. Учебник для 10 класса с углубленным изучением математики | 1999 |
|
| 55. |
Хофштадтер Д. |
ГЁДЕЛЬ, ЭШЕР, БАХ: эта бесконечная гирлянда | 2001 |
|
| 56. |
Комаровский В.С. |
Государственная Служба и средства массовой информации (Курс лекций) | 2003 |
|
| 57. |
Рябушкина С.В. |
Грамматический разбор. Словообразовательный, морфемный и морфологический анализ слова: Методическое пособие по курсу ''Современный русский язык и стилистика'' | 2002 |
|
| 58. |
Важенин Ю.М. Попов В.Ю. |
Границы разрешимости некоторых классов нильпотентных и разрешимых групп | 2000 |
|
| 59. |
Креншоу Д. |
Давайте создадим компилятор! | 1995 |
|
| 60. |
Кузичев А.С. |
Диаграммы Венна | 1968 |
|
| 61. |
Кедров Б. Копнин П. Таванец П. |
Диалектика и логика. Законы мышления | 1962 |
|
| 62. |
Кумпф Ф. Оруджев З. |
Диалектическая логика. Основные принципы и проблемы | 1979 |
|
| 63. |
Соболева Т.С. Чечкин А.В. |
Дискретная математика | 2006 |
|
| 64. |
Канатников А.Н. |
Дискретная математика | 2006 |
|
| 65. |
Аляев Ю.А. Тюрин С.Ф. |
Дискретная математика и математическая логика | 2006 |
|
| 66. |
Аляев Ю.А. Тюрин С.Ф. |
Дискретная математика и математическая логика | 2006 |
|
| 67. |
Яблонский С.В. (ред.) Лупанов О.Б. (ред.) |
Дискретная математика и математические вопросы кибернетики (том 1) | 1974 |
|
| 68. |
Акимов О.Е. |
Дискретная математика. Логика, группы, графы (издание второе, дополненное) | 2001 |
|
| 69. |
Акимов О.Е. |
Дискретная математика: логика, группы, графы. | 2001 |
|
| 70. |
Зыков А.А. |
Доклады Одесского семинара по дискретной математике 5 | 2007 |
|
| 71. |
0 |
Доклады Одесского семинара по дискретной математике.Выпуск 5. | 2007 |
|
| 72. |
Морозов А.С. |
Еще раз о вопросе Хигмана | 2000 |
|
| 73. |
Бирюков Б.В. Тростников В.Н. |
Жар холодных чисел и пафос бесстрастной логики | 1977 |
|
| 74. |
Екимова М.А., Куюш Г.П. |
Задачи на разрезание (издание третье, стереотипное) | 2007 |
|
| 75. |
Гаврилов Г.П. Сапоженко А.А. |
Задачи и упражнения по дискретной математике (издание третье, переработанное) | 2005 |
|
| 76. |
Игошин В.И. |
Задачи и упражнения по математической логике и теории алгоритмов (издание 3-е) | 2007 |
|
| 77. |
Екимова М.А. Кукин Г.П. |
Задачи на разрезание | 2002 |
|
| 78. |
Лавров И.А. Максимова Л.Л. |
Задачи по теории множеств, математической логике и теории алгоритмов (издание второе) | 1984 |
|
| 79. |
Лавров И.А. Максимова Л.Л. |
Задачи по теории множеств, математической логике и теории алгоритмов (издание 5) | 2004 |
|
| 80. |
Лавров И.А. Максимова Л.Л. |
Задачи по теории множеств, математической логике и теории алгоритмов | 1995 |
|
| 81. |
Кольман Э. Зих О. |
Занимательная логика | 1966 |
|
| 82. |
Кольман Э. Зих О. |
Занимательная логика | 1966 |
|
| 83. |
Ревич Ю.В. |
Занимательная микроэлектроника | 2007 |
|
| 84. |
Ревич Ю,В. |
Занимательная микроэлектроника | 2007 |
|
| 85. |
Ревич Ю.В. |
Занимательная микроэлектроника | 2007 |
|
| 86. |
Бизам Д. Герцег Я. |
Игра и логика. 85 логических задач | 1975 |
|
| 87. |
Мальцев А.И. |
Избранные труды (Том 2. Математическая логика и общая теория алгебраических систем) | 1976 |
|
| 88. |
Марков А.А. |
Избранные труды. Том 2. Теория алгорифмов и конструктивная математика, математическая логика, информатика и смежные вопросы | 2003 |
|
| 89. |
Марков А.А. |
Избранные труды. Том. II. Теория алгорифмов и конструктивная математика, математическая логика, информатика и смежные вопросы | 2003 |
|
| 90. |
Новиков П.С. |
Избранные труды: теория множеств и функций, математическая логика и алгебра | 1979 |
|
| 91. |
Бочков В.Е. Антропов М.С. Демин Ю.Н., Хохлов Н.Г., Щенников С.А. |
Изменения и дополнения к нормативным актам по аккредитационным требованиям и лицензионным нормам реализации дистанционных образовательных технологий. Дайджест по материалам предложений рабочей группы участников творческого трудового коллектива от Москов | 2003 |
|
| 92. |
Майданов А.С. |
Искусство открытия. Методология и логика научного творчества | 1993 |
|
| 93. |
Колпинский Ю.Д. |
Искусство Эгейского мира и древней Греции | 1970 |
|
| 94. |
Миллер Ч. |
Исследование взаимосвязи теорий циклов и волн Эллиота в режиме компьютерного моделирования | 2005 |
|
| 95. |
Бочвар Д.А. Гришин В.Н. |
Исследование по теории множеств и неклассическим логикам | 1976 |
|
| 96. |
Коротков Э.М. |
Исследование систем управления | 2000 |
|
| 97. |
Бочвар Д.А. (ред.) Гришин В.Н. (ред.) |
Исследования по теории множеств и неклассическим логикам | 1976 |
|
| 98. |
|
Исследования по формализованным языкам и неклассическим логикам | 1974 |
|
| 99. |
Полторацкий Б.Ф. |
История кризиса в физике | 2010 |
|
| 100. |
Маковельский А.О. |
История логики | 2004 |
|
)
|
|
О проекте