201. |
Левин В.И. |
Логическая теория надежности сложных систем | 1985 |
|
202. |
Быльцов С. |
Логические головоломки и задачи. Занимательная математика для всей семьи | 2010 |
|
203. |
Крапенко А.С. (ред.) |
Логические исследования. Выпуск 6 | 1999 |
|
204. |
Поварнин С. И. |
Логический задачник | 1916 |
|
205. |
Тей А. Грибомон П. Луи Ж. |
Логический подход к искусственному интеллекту | 1990 |
|
206. |
Тейз А. Грибомон П. Луи Ж. |
Логический подход к искусственному интеллекту | 1990 |
|
207. |
Кондаков Н.И. |
Логический словарь-справочник (2-е издание, исправленное и дополненное) | 1975 |
|
208. |
Кондаков Н.И. |
Логический словарь-справочник | 1975 |
|
209. |
Фрид Э. Пастор И. Рейман И. |
Малая математическая энциклопедия | 1976 |
|
210. |
Колмогоров А.Н.(ред.) |
Математика 19 века. Математическая логика, алгебра, теория чисел, теория вероятностей | 1978 |
|
211. |
Колмогоров А.Н. Юшкевич А.П. |
Математика 19 века. Математическая логика, алгебра, теория чисел, теория вероятности | 1978 |
|
212. |
Колмогоров А.Н. Юшкевич А. (ред.) |
Математика 19 века. Чебышевское направление в теории функций. ОДУ | 1987 |
|
213. |
Колмогоров А.Н. Юшкевич А.П. |
Математика XIX века (том 1): математическая логика, алгебра, теория чисел, теория вероятностей | 1978 |
|
214. |
Колмогоров А.Н. Юшкевич А.Н. |
Математика XIX века. Математическая логика алгебра теория чисел теория вероятностей. М | 1978 |
|
215. |
Алаев П.Е. Алеев Р.Ж. Соколов В.В. |
Математика в современном мире. Российская конференция, посвященная 50-летию Института математики им. С.Л. Соболева СО РАН: Тезисы докладов | 2007 |
|
216. |
Исаченко Н.А. |
Математика и информатика: Учебное пособие | 2006 |
|
217. |
Пуанкаре А. Кутюра Л. |
Математика и логика (2-е издание) | 2007 |
|
218. |
Пуанкаре А. Кутюра Л. |
Математика и логика (издание 2-е) | 2007 |
|
219. |
Кац М. Улам С. |
Математика и логика | 1971 |
|
220. |
Калбертсон Дж.Т. |
Математика и логика цифровых устройств | 1965 |
|
221. |
Кац М. Улам С. |
Математика и логика. Ретроспектива и перспектива | 1971 |
|
222. |
Кац М. Улам С.М. |
Математика и логика: Ретроспектива и перспективы | 1971 |
|
223. |
Яковлев А.В. |
Математическая логика | n/a |
|
224. |
Никольская И.Л. |
Математическая логика | 1981 |
|
225. |
Клини С. |
Математическая логика | 1973 |
|
226. |
Эдельман С.Л. |
Математическая логика | 1975 |
|
227. |
Ершов Ю.Л. Палютин Е.А. |
Математическая логика (2-е издание, исправленное и дополненное) | 1987 |
|
228. |
Шенфилд Дж. |
Математическая логика | 1975 |
|
229. |
Гладкий А.В. |
Математическая логика | 1998 |
|
230. |
|
Математическая логика | 1998 |
|
231. |
Плиско В.Е. |
Математическая логика | 1998 |
|
232. |
Клини С.К. |
Математическая логика | 1973 |
|
233. |
Гудстейн Р.Л. (Goodstein R.L.) |
Математическая логика | 1961 |
|
234. |
Лихтарников Л.М. Сукачева Т.Г. |
Математическая Логика | 1999 |
|
235. |
Шенфилд Дж. |
Математическая логика | 1975 |
|
236. |
Драгалин А.Г. Колмогоров А.Н. |
Математическая логика | 1984 |
|
237. |
Шенфилд Дж. |
Математическая логика | 1975 |
|
238. |
Глухов М.М. |
Математическая логика | 1981 |
|
239. |
Тимофеева И.Л. |
Математическая логика (2-е издание, переработанное) | 2007 |
|
240. |
Гладкий А.В. |
Математическая логика | 1998 |
|
241. |
Шенфилд Дж. |
Математическая логика | 1975 |
|
242. |
Гладкий А.В. |
Математическая логика | 1998 |
|
243. |
Никольская И.Л. |
Математическая логика | 1981 |
|
244. |
Гудстейн Р.Л. |
Математическая логика | 1961 |
|
245. |
Никольская И.Л. |
Математическая логика | 1981 |
|
246. |
Яковлев А.В. |
Математическая логика | n/a |
|
247. |
Бигаева Л.А. Салиева М.С. |
Математическая логика | 2015 |
|
248. |
Колмогоров А.Н. Драгалин А.Г. |
Математическая логика (издание 3-е) | 2006 |
|
249. |
Глухов М.М. |
Математическая логика | 1981 |
|
250. |
Плиско В.Е. |
Математическая логика (лекции) | 1998 |
|
251. |
Яковлев А.В. |
Математическая логика (лекции) | n/a |
|
252. |
Захарьящев М.В. (ред.) Янова Ю.И. (ред.) |
Математическая логика в программировании | 1991 |
|
253. |
Захарьящева М.В. Янова Ю.И. |
Математическая логика в программировании. (сборник статей) | 1991 |
|
254. |
Бэкус Дж. Оппен Д. Скотт Д. |
Математическая логика в программировании. Сборник статей. | 1991 |
|
255. |
Чень Ч. Ли Р. |
Математическая логика и автоматическое доказательство теорем | 1983 |
|
256. |
Чень Ч. Ли Р. |
Математическая логика и автоматическое доказательство теорем | 1983 |
|
257. |
Нагел Э. Саппс П. Тарский А. |
Математическая логика и ее применения | 1965 |
|
258. |
Нагел Э. Саппс П. Тарский А. |
Математическая логика и ее применения | 1965 |
|
259. |
Нагел Э. Саппс П. Тарский А. |
Математическая логика и ее применения. Сборник статей | 1965 |
|
260. |
П. С. НОВИКОВ |
МАТЕМАТИЧЕСКАЯ ЛОГИКА И ОСНОВАНИЯ МАТЕМАТИКИ | 1973 |
|
261. |
Р. ФЕЙС |
МАТЕМАТИЧЕСКАЯ ЛОГИКА И ОСНОВАНИЯ МАТЕМАТИКИ | 1974 |
|
262. |
Б.А. КУШНЕР |
МАТЕМАТИЧЕСКАЯ ЛОГИКА И ОСНОВАНИЯ МАТЕМАТИКИ | 1973 |
|
263. |
Идельсон А.В. Минц Г.Е. |
Математическая логика и основания математики. Математическая теория логического вывода | 1967 |
|
264. |
Гудстейн Р.Л. |
Математическая логика и основания математики. Рекурсивный математический анализ | 1970 |
|
265. |
Радаев В.Н. |
Математическая логика и основы теории алгоритмов: Программа курса | 2004 |
|
266. |
Гуц А.К. |
Математическая логика и теория алгоритмов | 2003 |
|
267. |
Соболев С.Л. |
Математическая логика и теория алгоритмов | 1982 |
|
268. |
Самохин А.В. |
Математическая логика и теория алгоритмов | 2003 |
|
269. |
Галиев Ш.И. |
Математическая логика и теория алгоритмов | 2002 |
|
270. |
Терехов Д.В. Куценко Д.А. |
Математическая логика и теория алгоритмов | 2007 |
|
271. |
Набебин А.А |
Математическая логика и теория алгоритмов | 2004 |
|
272. |
Анкудинов Г.И. Анкудинов И.Г. Петухов О.А. |
Математическая логика и теория алгоритмов (2-е издание) | 2003 |
|
273. |
Пантелеев М.Г. |
Математическая логика и теория алгоритмов | n/a |
|
274. |
Стенюшкина В.А. |
Математическая логика и теория алгоритмов | 2004 |
|
275. |
Гамова А.Н. |
Математическая логика и теория алгоритмов | 1999 |
|
276. |
Гуц А.К. |
Математическая логика и теория алгоритмов | 2003 |
|
277. |
Пантелеев М.Г. |
Математическая логика и теория алгоритмов | 2002 |
|
278. |
Игошин В.И. |
Математическая логика и теория алгоритмов (издание 2-e) | 2008 |
|
279. |
Терехов Д.В. Куценко Д.А. |
Математическая логика и теория алгоритмов. Уч.пособ | 2007 |
|
280. |
Анкудинов Г.И. Иванова И.В. Бригаднов И.А. |
Математическая логика и теория алгоритмов: Рабочая программа, методические указания к изучению дисциплины, задания на контрольные работы | 2003 |
|
281. |
Самохин А.В. |
Математическая логика и теория алгоритмов: Учебное пособие | 2003 |
|
282. |
Сергиевская И.М. |
Математическая логика и теория алгоритмов: Учебное пособие | 2004 |
|
283. |
Харин Н.Н. |
Математическая логика и теория множеств | 1963 |
|
284. |
Харин Н.Н. |
Математическая логика и теория множеств | 1963 |
|
285. |
Харин Н.Н. |
Математическая логика и теория множеств | 1963 |
|
286. |
Харин Н.Н. |
Математическая логика и теория множеств (О соотношении абстрактного и конкретного) | 1963 |
|
287. |
Рассел Б. |
Математическая логика, основанная на теории типов | n/a |
|
288. |
Адян С.И. (ред.) |
Математическая логика, теория алгоритмов и теория множеств. Труды ордена Ленина математического института имени В.А. Стеклова. Том 133 | 1973 |
|
289. |
Алаев П.Е. |
Математическая логика, часть II | 2014 |
|
290. |
Колмогоров А.Н. Драгалин А.Г. |
Математическая логика. Дополнительные главы | 1984 |
|
291. |
Плиско В.Е. |
Математическая логика. Курс лекций | 1998 |
|
292. |
Шапорев С.Д. |
Математическая логика. Курс лекций и практических занятий | 2005 |
|
293. |
Рояк М.Э. Рояк С.Х. |
Математическая логика. Часть 1 | 1998 |
|
294. |
Лихтарников Л.М. Сукачева Т.Г. |
Математическая Логика. Часть 1. Курс лекций. 3адачник-практикум и решения. | 1999 |
|
295. |
Ильиных А.П. |
Математическая логика: Рабочая учебная программа дисциплины | 2007 |
|
296. |
Ершов Ю.Л. Палютин Е.А. |
Математическая логика: Учеб. пособие для вузов (издание 2-е) | 1987 |
|
297. |
Ильиных А.П. |
Математическая логика: Учебное пособие | 2002 |
|
298. |
Моисеев В.И. |
Математическая логика: Учебные материалы | 1999 |
|
299. |
Гинзбург С.А. |
Математическая непрерывная логика и изображение функций | 1968 |
|
300. |
Ершов А.П. |
Математическая теория и практика систем программного обеспечения. Труды советско-болграрского совещания | 1982 |
|