Список библиографических записей

  1. Брюшинкин Владимир Никифорович.
    Теория поиска вывода : происхождение и философские приложения / Брюшинкин Владимир Никифорович, Ходикова Нина Анатольевна; Балт. федер. ун-т им. Иммануила Канта. - Калининград : Балтийский федеральный университет им. Иммануила Канта, 2012. - 165, [1] с. - Библиогр.: с. 158-166 (128 назв.) и в подстроч. примеч. - ISBN 978-5-9971-0222-7 : 120.00.
    В122 - Б 89
    СиглаКол-во
    к32
  2. Лакатос Имре (1922-1974).
    Доказательства и опровержения : как доказываются теоремы / Лакатос Имре; пер. с англ. с предисл. И. Н. Веселовского ; отв. ред. И. Б. Погребысский. - Изд. 2-е. - Москва : URSS : ЛКИ, 2010. - 150, [2] с. : ил. ; 22 см. - (Физико-математическое наследие : ФМН) (Математика (основания математики и логика)). - Библиогр. в конце кн. и в подстроч. примеч. - ISBN 978-5-382-01024-3 : 160.30.
    В122 - Л 19
    СиглаКол-во
    к32
  3. Лобанов Владимир Иванович.
    Русская вероятностная логика для школьников и умных академиков / Лобанов Владимир Иванович. - Москва : б. и., 2008. - 33 с. : ил., табл. - Библиогр.: с. 32 (5 назв.). - 70.00.
    В122 - Л 68
    СиглаКол-во
    к31
  4. Новак Вилем.
    Математические принципы нечеткой логики / Новак Вилем, Перфильева Ирина, Мочкорж Иржи; пер. с англ. под ред. А. Н. Аверкина. - Москва : Физматлит, 2006. - 347 с. : ил. - Доп. тит. л. на англ. яз. - Библиогр.: с. 335-343. - Предм. указ.: с. 344-347. - ISBN 5-9221-0399-7 (рус.) : 249.15.
    В122 - Н72
    СиглаКол-во
    к33
  5. Клини Стивен Коул (1909-1994).
    Математическая логика / Клини Стивен Коул; С. К. Клини ; пер. с англ. Ю. А. Гастева ; под ред. Г. Е. Минца. - Изд. 2-е, стер. - Москва : УРСС, 2005. - 480 с. - Перевод изд.: Mathematical logic / Stephen Cole Kleene. - Библиогр.: с. 451-465. - Авт. и предм. указ.: с. 470-478. - ISBN 5-354-01011-X : 280.00.
    В122 - К49
    СиглаКол-во
    к31
  6. Лексаченко Валентин Александрович.
    Логика. Множества. Вероятность / Лексаченко Валентин Александрович; В. А. Лексаченко. - Москва : Вузовская книга, 2001. - 128 с. : табл. - Библиогр.: с.126. - ISBN 5-89522-134-3 : 64.50.
    В122 - Л43
    СиглаКол-во
    к31
  7. Карпенко Александр Степанович.
    Логики Лукасевича и простые числа / Карпенко Александр Степанович; А. С. Капрпенко ; [отв. ред. В. К. Финн ; РАН, Ин-т философии]. - Москва : Наука, 2000. - 318,[1] с. - Библиогр.: с.283-308. - Имен. указ.: с.309-313. - ISBN 5-02-013048-6 : 22.00.
    В122 - К26
    СиглаКол-во
    к32
  8. Верещагин Н. К.
    Языки и исчисления : Лекции по мат. логике и теории алгоритмов / Н. К. Верещагин; Н. К. Верещагин, А. Шень. - Москва : МЦНМО, 2000. - 286 с. - На обл. загл. сер.: Математическая логика и теория алгоритмов. - Библиогр.: с.269-272. - Предм., имен. указ.: с.273-284. - ISBN 5-900916-66-9 : 27.00.
    В122 - В31
    СиглаКол-во
    к31
  9. Lakatos Imre.
    Proofs and refutations : the logic of mathematical discovery / Lakatos Imre; Imre Lakatos; ed. by John Worrall and Elie Zahar. - Cambridge : Cambridge university press, 1999. - XII, 174 p. ; 22 cm. - Bibliogr.: p. 155-165. - Ind.: p. 167-174. - ISBN 0-521-29038-8 : 1131.39.
    Ю424 - L18
    СиглаКол-во
    к91
  10. Chagrov Alexander.
    Modal logic / Chagrov Alexander, Zakharyaschev Michael; Alexander Chagrov, Michael Zakharyaschev; Inst. of Appl. Mathematics Russ. Acad. of sci. - Oxford : Clarendon press, 1997. - XV, [1], 605 p. : Il. - (Oxford logic guides) ( ; 35). - Bibliogr.: p.567-595. - Ind.: p.597-605. - ISBN 0-19-853779-4 : 55000.00.
    В122 - C43
    СиглаКол-во
    к31
  11. Muskens Reinhard.
    Meaning and Partiality / Muskens Reinhard; R. Muskens. - Standford : CSLI : FoLLI, 1995. - 141 p. - (Studies in Logic, Lang. a. Inform.). - Ind.: p.139-141. - ISBN 1-881526-80-1 : 15.22.
    В122 - М97
    СиглаКол-во
    к31
  12. Алгебраические и логические конструкции : сборник научных трудов / Твер. гос. ун-т ; [отв. ред. Ю. М. Горчаков]. - Тверь : Тверской государственный университет, 1994. - 104, [1] с. : ил., табл. - Библиогр. в конце ст. - ISBN 5-230-08552-5 : 2 000-00.
    В14 - А45
    СиглаКол-во
    к35
  13. Булос Джордж.
    Вычислимость и логика / Булос Джордж; Д. Буллос, Д. Ричард ; пер. с англ. В. А. Душского, Е. Ю. Ногиной ; под ред. С. Н. Артемова. - Москва : Мир, 1994. - 396 с. - Перевод изд.: Cjmputability and logic / George S. Boolos, Richard C. Jeffry (Cambridge etc.). - Указ. имен. и предм.: с.388-394. - ISBN 5-03-003067-0 : 7 500-00.
    В122 - Б90
    СиглаКол-во
    к33
  14. Петров Василий Викторович.
    Обработка языка и логика предикатов / Петров Василий Викторович, Переверзев Василий Николаевич; отв. ред. В. В. Целищев. - Новосибирск : Новосибирский государственный университет, 1993. - 156,[1] с. - Библиогр.: с.152-157. - ISBN 5-7615-0114-7 : 9.30.
    Ш11 - П30
    СиглаКол-во
    к91
  15. Раца Мефодий Федорович.
    Выразимость в исчислениях высказываний / Раца Мефодий Федорович; М. Ф. Раца; Под ред. А. Д. Тайманова; АН МССР, Ин-т математики с ВЦ ; Ин-т математики с ВЦ АН МССР. - Кишинев : Штиинца, 1991. - 202,[1] с. ; 21 см. - Библиогр.: с. 196-201 (98 назв.). - ISBN 5-376-00961-0 : 2.50.
    В122 - Р27
    СиглаКол-во
    к31
  16. Раца Мефодий Федорович.
    Итеративные цепные классы псевдобулевых функций / Раца Мефодий Федорович; М. Ф. Раца; Под ред. И. С. Негру; АН МССР, Ин-т математики с ВЦ ; Ин-т математики с ВЦ МССР. - Кишинев : Штиинца, 1990. - 236,[1] с. ; 22 см. - Библиогр.: с. 233-235 (40 назв.). - ISBN 5-376-00806-1 : 2.70.
    В122 - Р27
    СиглаКол-во
    к31
  17. Блехман Илья Израилевич.
    Механика и прикладная математика : Логика и особенности прил. математики / Блехман Илья Израилевич, Мышкис Анатолий Дмитриевич, Пановко Яков Гилелевич; И.И. Блехман, А.Д. Мышкис, Я.Г. Пановко. - 2-е изд., испр. и доп. - Москва : Наука, 1990. - 356 с. : ил. ; 22 см. - Библиогр.: с. 329-350 (550 назв.). - Имен. указ.: с. 351-356. - ISBN 5-02-014002-3 (в пер.) : 5.50.
    В122 - Б68
    СиглаКол-во
    к31
  18. Волгин Леонид Иванович.
    Непрерывная логика. Теория и применения / Волгин Леонид Иванович; Л. И. Волгин, В. И. Левин ; АН Эстонии. - Таллинн : АН Эстонии, 1990. - 210 с. : ил. - Библиогр.: с. 189-204. - 12.50.
    В122 - В67
    СиглаКол-во
    к31
  19. Дадеркин Дмитрий Ольгердович.
    Описание алгебраических систем в терминах вычислительных конструкций : автореф. дис. ... к.ф.-м.н. : 01.01.06 / Дадеркин Дмитрий Ольгердович; АН СССР, Мат. ин-т им. В. А. Стеклова, Ленингр. отд-ние, Калинин. гос. ун-т. - Ленинград : б. и., 1990. - 14 с. - На правах рукоп. - Библиогр.: с. 14 и в подстроч. примеч.
    В144.5 - Д 14
    СиглаКол-во
    к31
  20. Кедровский Олег Иванович.
    Система принципов построения дедуктивных теорий / Кедровский Олег Иванович; О. И. Кедровский, К. М. Узбек. - Киев : Выща школа, 1990. - 130,[2] с. ; 20 см. - (Филос. монография : ФМ). - Библиогр.: с. 121-131. - ISBN 5-11-003647-0 : 1.60.
    В122 - К33
    СиглаКол-во
    к32
  21. Поспелов Дмитрий Александрович.
    Моделирование рассуждений : Опыт анализа мыслит. актов / Поспелов Дмитрий Александрович; Д. А. Поспелов. - Москва : Радио и связь, 1989. - 182,[2] с. : ил. ; 21 см. - Библиогр.: с. 179-183. - ISBN 5-256-00183-3 : 0.60.
    В186 - П62
    СиглаКол-во
    к31
  22. Теребилов Олег Федорович.
    Логика математического мышления / Теребилов Олег Федорович; О. Ф. Теребилов ; М-во высш. и сред. спец. образования РСФСР. - Л. : Ленинградский государственный университет, 1987. - 188, [4] с. ; 22 см. - Библиогр. в подстроч. примеч. - 1.50.
    В122 - Т35
    СиглаКол-во
    к31
  23. Математические исследования : [сб. науч. тр.]. Вып. 98 : Неклассические логики / [редкол.: В. А. Андрунакиевич (отв. ред.) и др.] / АН МССР, Ин-т математики с ВЦ. - Кишинев : Штиинца, 1987. - 154, [2] с. : ил. - Библиогр. в конце ст. - 1.50.
    В1я5 - М34
    СиглаКол-во
    к31
  24. Сложностные проблемы математической логики : сб. науч. тр. / М-во высш. и сред. спец. образования РСФСР, Калинин. гос. ун-т ; [редкол.: М. И. Канович (отв. ред.) и др.]. - Калинин : КГУ, 1985. - 102, [2] с. - Библиогр. в конце тр. - 1.00.
    В122 - С48
    СиглаКол-во
    к36
  25. Мендельсон Эллиот.
    Введение в математическую логику / Мендельсон Эллиот; пер. с англ. Ф. А. Кабакова ; под ред. С. И. Адяна. - 3-е изд. - Москва : Наука, 1984. - 319 с. : ил. - Перевод изд.: Introduction to mathematical logic /By Elliot Mendelson. - Библиогр.: с. 296-309. - Алф. указ.: с. 310-317. - 1.80.
    В122 - М50
    СиглаКол-во
    к323
  26. Марков Андрей Андреевич.
    Элементы математической логики / Марков Андрей Андреевич; А. А. Марков ; под ред. А. Г. Драгалина. - Москва : Московский государственный университет, 1984. - 76, [4] с. : ил. - 0.40.
    В122 - М26
    СиглаКол-во
    к33
  27. Исследования по неклассическим логикам и формальным системам : [сб. ст.] / ВИНИТИ ; [отв. ред. А. И. Михайлов]. - Москва : Наука, 1983. - 358, [2] с. : ил. - В надзаг. также: Гос. ком. Совета Министров СССР по науке и технике, АН СССР. - Библиогр. в конце ст. - 2.00.
    В122 - И88
    СиглаКол-во
    к31
  28. Блехман Илья Израилевич.
    Механика и прикладная математика : Логика и особенности приложений математики / Блехман Илья Израилевич; И. И. Блехман, А. Д. Мышкис, Я. Г. Пановко. - Москва : Наука, 1983. - 327, [1] с. : ил. - Библиогр.: с. 306-322. - Имен. указ.: с. 323-327. - 2.90.
    В122 - Б68
    СиглаКол-во
    к32
  29. Автоматы, алгорифмы, языки : межвузовский тематический сборник / Калинин. ун-т; [отв. ред. Гладкий А. В.]. - Калинин : Калининский государственный университет, 1982. - 168 с. : ил. ; 20 см. - Библиогр. в конце ст. - 1.40.
    В181.3 - А22
    СиглаКол-во
    к36
  30. Гильберт Давид.
    Основания математики : теория доказательств / Гильберт Давид, Бернайс Пауль; пер. с нем. Н. М. Нагорного ; под ред. [и с предисл.] С. И. Адяна. - Москва : Наука, 1982. - 652, [1] с. - (Математическая логика и основания математики). - Перевод изд.: Grundlagen der Marhematik. 2 / D. Hilbert, P. Bernays (Berlin [u. a.] 1970). - Алф. указ.: с. 647-652. - 3.40.
    В12 - Г47
    СиглаКол-во
    к31
  31. Asser Guenter.
    Einfuehrung in die mathematische Logik. T. 1 : Aussagenkalkul / Asser Guenter . - 4., unverand. Aufl. - Leipzig : Teubner, 1981. - IV, 185 S. - (Mathematisch-Naturwissenschaftliche Bibliothek ; Bd. 18).
    517.21 - A 88
  32. Гильберт Давид.
    Основания математики : логические исчисления и формализация арифметики / Гильберт Давид, Бернайс Пауль; пер. с нем. Н. М. Нагорного ; под ред. [и с предисл. С. И. Адяна]. - Москва : Наука, 1979. - 557 с. - (Математическая логика и основания математики). - Перевод изд.: Grundlagen der Marhematik / D. Hilbert, P. Bernays (Berlin etc.,1968). - Алф. указ.: с. 551-557. - 37.00.
    517.21 - Г47
    СиглаКол-во
    к33
  33. Новиков Петр Сергеевич.
    Конструктивная математическая логика с точки зрения классической / Новиков Петр Сергеевич; П.С. Новиков. - Москва : Наука, 1977. - 328 с. : 1 л. ил. - (Мат. логика и основания математики). - Библиогр.: с.318-320. - Указ. имен. и предм.: с.323-328. - 19.32.
    517.21 - Н73
    СиглаКол-во
    к36
  34. Мендельсон Эллиот.
    Введение в математическую логику / Мендельсон Эллиот; пер. с англ. Ф. А. Кабакова ; под ред. С. И. Адяна. - 2-е изд., испр. - Москва : Наука, 1976. - 320 с. - Библиогр.: с. 296-320. - 1-65.
    517.21 - М50
    СиглаКол-во
    к32
  35. Гладкий Алексей Всеволодович.
    Конспект лекций по математической логике и теории множеств / Гладкий Алексей Всеволодович; А. В. Гладкий; Калинин. гос. ун-т. - Калинин : КГУ, 1974. - 160,[3] с. : ил. - Библиогр.: с.162. - 2673.00.
    517.21 - Г52
    СиглаКол-во
    к310
  36. Целищев Виталий Валентинович.
    Логическая истина и эмпиризм / Целищев Виталий Валентинович; отв. ред. М. В. Попович ; АН СССР, Сиб. отд-ние, Ин-т истории, филологии и философии. - Новосибирск : Наука, 1974. - 114 с. - Библиогр.: с.111-113. - 7.00.
    517.21 - Ц34
    СиглаКол-во
    к31
    к71
    Всего: 2
  37. Клини Стефан Коул.
    Математическая логика / Клини Стефан Коул; Пер. англ. Ю.А. Гастева; Под ред. Г.Е. Минца. - Москва : Мир, 1973. - 480 с. - Перевод изд.: Mathematical Logic / Stephen Cole Kleene (New York, 1967)/. - Библиогр.: с.451-465. - Авт. и предм. указ.: с.470-478. - 30.00.
    517.21 - К49
    СиглаКол-во
    к39
  38. Новиков Петр Сергеевич.
    Элементы математической логики / Новиков Петр Сергеевич; П. С. Новиков. - 2-е изд., испр. - Москва : Наука, 1973. - 399 с. - (Мат. логика и основания математики). - Предм. указ.: с.397-399. - 1-43.
    517.21 - Н73
    СиглаКол-во
    к314
  39. Мендельсон Эллиот.
    Введение в математическую логику / Мендельсон Эллиот; пер. с англ. Ф. А. Кабакова ; под ред. С. И. Адяна. - Москва : Наука, 1971. - 320 с. : схем. - На обороте тит. л.: Introduction to mathematical logic /By Elliott Mendelson. - Библиогр.: с. 296-309. - Алф. указ.: с. 310-317. - 1.77.
    517.21 - М50
    СиглаКол-во
    к32
  40. Эрдниев Пюрвя Мучкаевич.
    Аналогия в математике / Эрдниев Пюрвя Мучкаевич; П. М. Эрдниев. - Москва : Знание, 1970. - 27, [3] c. : ил. - (Новое в жизни, науке, технике) ( ; 6). - Библиогр.: с. 29. - 12.00.
    В122 - Э75
    СиглаКол-во
    к31
  41. Линдон Роджер К.
    Заметки по логике / Линдон Роджер К.; Р. Линдон ; пер. с англ. Ю. А. Гастева ; под ред. И. М. Яглома. - Москва : Мир, 1968. - 127, [1] с. - (Современная математика). - Перевод изд.: Notes on Logic / by Roger C. Lyndon. - Библиогр.: с. 123. - Имен. указ., указ. терминов: с. 124-127. - 0.41.
    51 - Л59
    СиглаКол-во
    к32
  42. Новиков Петр Сергеевич.
    Элементы математической логики / Новиков Петр Сергеевич; П. С. Новиков. - Москва : Физматгиз, 1959. - 400 с. - (Мат. логика и основания математики). - 3 709-00.
    51 - Н73
    СиглаКол-во
    к33
  43. Градштейн Израиль Соломонович.
    Прямая и обратная теоремы / Градштейн Израиль Соломонович; И. С. Градштейн. - 2-е изд. ; перераб. - Москва ; Л. : Гостехиздат, 1950. - 79,[1] с. : ил. - 568-00.
    51 - Г75
    СиглаКол-во
    к32