хранилище/kolxo3/issue5─6/DVD08/M_Mathematics/MA_Algebra/MAml_Mathematical logic/
01 005563 Айзерман М.А., и др. Логика. Автоматы. Алгоритмы (ФМЛ,1963)(ru)(L)(T)(279s)_MAml_.djvu [request] 02-09-2013:01-57

02 005564 Barwise J., Etchemendy J. Language, proof and logic (1999)(ISBN 1889119083)(597s)_MAml_.pdf [request] 02-09-2013:01-57

03 005565 Беркли А. Символическая логика и разумные машины (1961)(T)(260s)(ru)(K).djvu [request] 02-09-2013:01-57

04 005566 Беркли Э. (_Berkeley_) Символическая логика и разумные машины (ИЛ, 1961)(ru)(L)(T)(132s)_MAml_.djvu [request] 02-09-2013:01-57

05 005567 Бродский И.Н. Отрицательние высказывания (Издательство Ленинградского университета имени Жданова, 1973)(T)(104s)(ru)(K).djvu [request] 02-09-2013:01-57

06 005568 Бродский И.Н. Отрицательные высказывания (ЛГУ,1973)(ru)(L)(T)(53s)_MAml_.djvu [request] 02-09-2013:01-57

07 005569 Булос Дж., Джеффри Р. (_G.S.Boolos,R.C.Jeffrey_) Вычислимость и логика (Мир, 1994)(ru)(L)(T)(198s)_MAml_.djvu [request] 02-09-2013:01-57

08 005570 Chagrov A., Zakharyaschev M. Modal logic (Oxford, 1997)(600dpi)(T)(610s)_MAml_.djvu [request] 02-09-2013:01-57

09 005571 Чупахин И.Я., Бродский И.Н. (ред.) Формальная логика (ЛГУ 1977)(ru)(L)(T)(179s)_MAml_.djvu [request] 02-09-2013:01-57

10 005572 Чупахин И.Я., и др. Формальная логика (Издательство Ленинградского университета имени Жданова, 1977)(T)(357s)(ru)(K).djvu [request] 02-09-2013:01-57

11 005573 Чёрч А. Введение в математическую логику, том 1 (1960)(ru)(L)(T)(242s).djvu [request] 02-09-2013:01-57

12 005574 Драгалин. Математический интуиционизм. Введение в теорию доказательств (Наука, 1979)(ru)(L)(T)(128s).djvu [request] 02-09-2013:01-57

13 005575 Эдельман С.Л. Математическая логика (ВШ, 1975)(T)(176s)(ru)(K).djvu [request] 02-09-2013:01-57

14 005576 Ebbinghaus H.-D., Flum J., Thomas W. Mathematical logic (ISBN 0-387-90895-1)(Springer, 1984)(L)(T)(113s).djvu [request] 02-09-2013:01-57

15 005577 Ершов Ю.Л. Кратно нормированные поля (Новосибирск, 2000)(ru)(T)(340s).djvu [request] 02-09-2013:01-57

16 005578 Ершов Ю.Л. Определимость и вычислимость (Новосибирск, 1996)(ru)(L)(T)(148s).djvu [request] 02-09-2013:01-57

17 005579 Ершов Ю.Л. Теория нумераций (Наука, 1977)(ru)(L)(T)(208s)_MAml_.djvu [request] 02-09-2013:01-57

18 005580 Ершов Ю.Л., Палютин Е.А. Математическая логика (2е изд., Наука, 1987)(ru)(200dpi)(T)(336s)_MAml_.djvu [request] 02-09-2013:01-57

19 005581 Фейс Р. Модальная логика (ру)(Nauka, 1974)(T)(518s).djvu [request] 02-09-2013:01-57

20 005582 Фреге Г. Основоположения арифметики (2000)(ru)(64s).pdf [request] 02-09-2013:01-57

21 005583 Фрейденталь Х. Язык логики (Наука, 1969)(T)(136s)(ru)(K).djvu [request] 02-09-2013:01-57

22 005584 Фрейденталь Х. Язык логики (Наука,1969)(ru)(L)(T)(69s)_MAml_.djvu [request] 02-09-2013:01-57

23 005585 Френкель А.А., Бар-Хиллел И. (_Fraenkel,Bar-Hillel_) Основания теории множеств (Мир, 1966)(ru)(K)(T)(555s).djvu [request] 02-09-2013:01-57

24 005586 Гильберт Д., Бернайс П. Основания математики. Логические исчисления и формализация арифметики (Наука, 1979)(ru)(L)(T)(278s).djvu [request] 02-09-2013:01-57

25 005587 Гильберт Д., Бернайс П. Основания математики. Теория доказательств (Наука, 1982)(ru)(L)(T)(326s).djvu [request] 02-09-2013:01-57

26 005588 Гильберт, Аккерман. Основы теоретической логики (ИЛ, 1947)(ru)(T)(154s).djvu [request] 02-09-2013:01-57

27 005589 Гиндикин С.Г. Алгебра логики в задачах (Наука 1972)(ru)(L)(T)(145s)_MAml_.djvu [request] 02-09-2013:01-57

28 005590 Гиндикин С.Г. Алгебра логики в задачах (Наука, 1972)(T)(288s)(ru)(K).djvu [request] 02-09-2013:01-57

29 005591 Гохман, Спивак, Розен, и др. Сборник задач по математической логике и алгебре множеств (Саратов, 1969)(ru)(L)(T)(46s)_MAml_.djvu [request] 02-09-2013:01-57

30 005592 Гончаров С.С. Счетные булевы алгебры и разрешимость (Новосибирск,1996)(ru)(T)(373s)_MAml_.djvu [request] 02-09-2013:01-57

31 005593 Горский Д.П., и др. Логика (Первая образцовая типография имени Жданова, 1955)(T)(279s)(ru)(K).djvu [request] 02-09-2013:01-57

32 005594 Горский, Таванец (ред.). Логика (Институт философии АН СССР, 1956)(ru)(L)(T)(141s)_MAml_.djvu [request] 02-09-2013:01-57

33 005595 Гудстейн Р.Л. Рекурсивный математический анализ (Наука, 1970)(ru)(L)(T)(236s).djvu [request] 02-09-2013:01-57

34 005596 Яновская С.А., и др. Проблемы логики (1963)(T)(152s)(ru)(K).djvu [request] 02-09-2013:01-57

35 005597 Кац М., Улам С. Математика и логика.. ретроспектива и перспективы (Мир, 1971)(ru)(T)(252s)_MAml_.djvu [request] 02-09-2013:01-57

36 005598 Калужнин Л.А. Что такое математическая логика (Наука 1964)(ru)(L)(T)(77s)_MAml_.djvu [request] 02-09-2013:01-57

37 005599 Калужнин Л.А. Что такое математическая логика (Наука, 1964)(T)(152s)(ru)(K).djvu [request] 02-09-2013:01-57

38 005600 Карри Х.Б. Основания математической логики (Мир, 1969)(ru)(K)(T)(566s).djvu [request] 02-09-2013:01-57

39 005601 Кейслер Г.Дж., Чэн Чень-чунь (_Chen Chung Chang,H.J.Keisler_) Теория непрерывных моделей (Мир, 1971)(ru)(T)(92s)_MAml_.djvu [request] 02-09-2013:01-57

40 005602 Китчев, Федоров, и др. Методологический анализ оснований математики (обзор)(Nauka, 1988)(ru)(L)(T)(89s).djvu [request] 02-09-2013:01-57

41 005603 Клини С. (_S.C.Kleene_) Введение в метаматематику (ИЛ, 1957)(ru)(T)(524s).djvu [request] 02-09-2013:01-57

42 005604 Клини С.К. Математическая логика (Мир, 1973)(ru)(L)(T)(240s).djvu [request] 02-09-2013:01-57

43 005605 Клини, Весли. Основания интуиционистской математики, рекурсивные функции (Наука, 1978)(ru)(T)(136s).djvu [request] 02-09-2013:01-57

44 005606 Kneebone G.T. Mathematical logic and the foundations of mathematics (Van Nostrand, 1963)(L)(T)(224s).djvu [request] 02-09-2013:01-57

45 005607 Колмогоров А.Н., Драгалин А.Г. Введение в математическую логику (1962)(T)(120s)(ru)(K).djvu [request] 02-09-2013:01-57

46 005608 Колмогоров А.Н., Драгалин А.Г. Введение в математическую логику (МГУ,1982)(ru)(L)(T)(61s)_MAml_.djvu [request] 02-09-2013:01-57

47 005609 Колмогоров, Драгалин. Математическая логика. Дополнительные главы (МГУ, 1984)(ru)(T)(61s).djvu [request] 02-09-2013:01-57

48 005610 Кондаков Н.И. Введение в логику (Наука 1967)(ru)(L)(T)(235s)_MAml_.djvu [request] 02-09-2013:01-57

49 005611 Кондаков Н.И. Введение в логику (Наука, 1967)(T)(467s)(ru)(K).djvu [request] 02-09-2013:01-57

50 005612 Крайзель Г. (_Kreisel_) Исследования по теории доказательств (НЗН-Математика 23, Мир, 1981)(ru)(L)(T)(144s)_MAml_.djvu [request] 02-09-2013:01-57

51 005613 Кулик Б.А. Логика естественных рассуждений (2001)(ru)(L)(T)(64s).djvu [request] 02-09-2013:01-57

52 005614 Кутасов А.Д. Элементы математической логики (1977)(ru)(L)(T)(32s)_MAml_.djvu [request] 02-09-2013:01-57

53 005615 Кутасов А.Д. Элементы математической логики (Просвещение 1977)(T)(63s)(ru)(K).djvu [request] 02-09-2013:01-57

54 005616 Лакатос И. Доказательства и опровержения.. как доказываются теоремы (Наука, 1967)(ru)(T)(153s).djvu [request] 02-09-2013:01-57

55 005617 Levitz K., Levitz H. Logic and boolean algebra (Barron, 1997)(T)(141s).djvu [request] 02-09-2013:01-57

56 005618 Линдон Р. (_Lyndon_) Заметки по логике (Мир, 1968)(ru)(T)(128s)_MAml_.djvu [request] 02-09-2013:01-57

57 005619 Мальцев. Алгебраические системы (Наука, 1970) (ру)(L)(T)(197s).djvu [request] 02-09-2013:01-57

58 005620 Манин. Доказуемое и недоказуемое (1979) (ру)(L)(T)(88s).djvu [request] 02-09-2013:01-57

59 005621 Марченков С.С. Замкнутые классы булевых функций (ФМЛ, 2000)(ru)(T)(128s)_MAml_.djvu [request] 02-09-2013:01-57

60 005622 Марков А.А. Элементы математической логики (МГУ,1984)(ru)(T)(80s)_MAml_.djvu [request] 02-09-2013:01-57

61 005623 Мартин-Леф П. Очерки по конструктивной математике (Мир 1975)(ru)(L)(T)(68s)_MAml_.djvu [request] 02-09-2013:01-57

62 005624 McCall R.J. Basic logic (2ed., 1952)(T)(263s).djvu [request] 02-09-2013:01-57

63 005625 Мельников Г.П. Азбука математической логики (Знание, 1967)(T)(104s)(ru)(K).djvu [request] 02-09-2013:01-57

64 005626 Мельников Г.П. Азбука математической логики (Знание,1967)(ru)(L)(T)(53s)_MAml_.djvu [request] 02-09-2013:01-57

65 005627 Мендельсон Э. Введение в математическую логику (Наука, 1971)(ru)(L)(T)(161s).djvu [request] 02-09-2013:01-57

66 005628 Молодший В.Н. Очерки по вопросам обоснования математики. Пособие для учителей (1958)(ru)(L)(T)(116s)_MAml_.djvu [request] 02-09-2013:01-57

67 005629 Молодший В.Н. Очерки по вопросам основания математики (Учпедгиз, 1958)(T)(230s)(ru)(K).djvu [request] 02-09-2013:01-57

68 005630 Molt J., et al. Schaum#s outline of logic (2ed.)(T)(268s).djvu [request] 02-09-2013:01-57

69 005631 Никитин В.В. Сборник логических уравнений (Просвещение 1970)(T)(96s)(ru)(K).djvu [request] 02-09-2013:01-57

70 005632 Никольская И.Л. Математическая логика (ВШ, 1981)(T)(128s)(ru)(K).djvu [request] 02-09-2013:01-57

71 005633 Никольская И.Л. Математическая логика (ВШ,1981)(ru)(L)(T)(65s)_MAml_.djvu [request] 02-09-2013:01-57

72 005634 Новиков П.С. Конструктивная математическая логика с точки зрения классической (1977)(ru)(L)(T)(165s).djvu [request] 02-09-2013:01-57

73 005635 Пензов Ю.Е. Элементы математической логики и теории множеств (Саратов,1968)(ru)(L)(T)(72s)_MAml_.djvu [request] 02-09-2013:01-57

74 005636 Пензов У.Е. Элементы математической логики и теории множеств (1968)(T)(143s)(ru)(K).djvu [request] 02-09-2013:01-57

75 005637 Перетятькин М.Г. Конечно аксиоматизируемые теории (Новосибирск, 1997)(ru)(T)(327s).djvu [request] 02-09-2013:01-57

76 005638 Pesic P. Abel#s proof.. souces and meaning of mathematical unsolvability (MIT, 2003)(T)(222s).djvu [request] 02-09-2013:01-57

77 005639 Петер Р. Игра с бесконечностью (Просвещение, 1967)(T)(271s)(ru)(K).djvu [request] 02-09-2013:01-57

78 005640 Попов А.И. Введение в математическую логику (Издательство Ленинградского университета имени Жданова, 1959)(T)(109s)(ru)(K).djvu [request] 02-09-2013:01-57

79 005641 Попович и др. (ред.) Доказательство и понимание (Институт философии АН СССР, Киев, 1986)(ru)(L)(T)(157s)_MAml_.djvu [request] 02-09-2013:01-58

80 005642 Попович М.В., Крымский С.Б., Ишмуратов А.Т., и др. Доказательство и понимание (Наукова думка, 1986)(T)(312s)(ru)(K).djvu [request] 02-09-2013:01-58

81 005643 Popper K. New foundations for logic (Mind, 1947)(T)(44s).djvu [request] 02-09-2013:01-58

82 005644 Ракитов А.И. Курс лекций по логике науки (ВШ, 1971)(T)(176s)(ru)(K).djvu [request] 02-09-2013:01-58

83 005645 Ракитов А.И. Курс лекций по логике науки (ВШ,1971)(ru)(L)(T)(89s)_MAml_.djvu [request] 02-09-2013:01-58

84 005646 Rips L.J. Psychology of proof and deductive reasoning in human thinking (T)(447s).djvu [request] 02-09-2013:01-58

85 005647 Robinson A. Complete theories (2ed, NH, 1977)(ISBN 0720406900)(L)(T)(69s)_MAml_.djvu [request] 02-09-2013:01-58

86 005648 Робинсон А. Введение в теорию моделей и метаматематику алгебры (Наука,1967)(ru)(T)(189s)_MAml_.djvu [request] 02-09-2013:01-58

87 005649 Сакс Дж.Е. (_G.E.Sacks_) Теория насыщенных моделей (Мир,1976)(ru)(T)(192s)_MAml_.djvu [request] 02-09-2013:01-58

88 005650 Сборник задач по математической логике и алгебре множеств (2-е издание, 1969)(T)(91s)(ru)(K).djvu [request] 02-09-2013:01-58

89 005651 Серебрянников О.Ф. Эвристические принципы и логические исчисления (Наука, 1970)(T)(283s)(ru)(K).djvu [request] 02-09-2013:01-58

90 005652 Серебрянников О.Ф. Эвристические принципы и логические исчисления (Наука,1970)(ru)(L)(T)(142s)_MAml_.djvu [request] 02-09-2013:01-58

91 005653 Шапиро С.И. От алгоритмов к суждениям (Советское радио, 1973)(T)(288s)(ru)(K).djvu [request] 02-09-2013:01-58

92 005654 Шапиро С.И. От алгоритмов к суждениям (1973)(ru)(L)(T)(145s)_MAml_.djvu [request] 02-09-2013:01-58

93 005655 Шенфилд Дж. (_J.R.Schoenfield_) Степени неразрешимости (Наука, 1977)(ru)(T)(192s)_MAml_.djvu [request] 02-09-2013:01-58

94 005656 Шенфилд Дж. (_J.Shoenfield_) Математическая логика (Наука, 1975)(ru)(T)(265s)_MAml_.djvu [request] 02-09-2013:01-58

95 005657 Слупецкий Е., Борковский Л. Элементы математической логики и теория множеств (Прогресс,1965)(ru)(L)(T)(184s)_MAml_.djvu [request] 02-09-2013:01-58

96 005658 Слупетский Е., Борковский Л. Элементы математической логики и теория множеств (Прогресс, 1965)(T)(367s)(ru)(K).djvu [request] 02-09-2013:01-58

97 005659 Смаллиан Р. Теория формальных систем (Наука, 1981)(ru)(L)(T)(104s).djvu [request] 02-09-2013:01-58

98 005660 Steen S.W.P. Mathematical logic with special reference to natural numbers (CUP, 1972)(L)(T)(327s).djvu [request] 02-09-2013:01-58

99 005661 Стяжкин Н.И. Формирование математической логики (Наука, 1967)(T)(508s)(ru)(K).djvu [request] 02-09-2013:01-58

100 005662 Столяр А.А. Логические проблемы преподавания математики (ВШ, 1965)(T)(255s)(ru)(K).djvu [request] 02-09-2013:01-58

101 005663 Столяр А.А. Логическое введение в математику (ВШ, 1971)(T)(224s)(ru)(K).djvu [request] 02-09-2013:01-58

102 005664 Стяжкин Н.И. Формирование математической логики (Наука,1967)(ru)(L)(T)(255s)_MAml_.djvu [request] 02-09-2013:01-58

103 005665 Такеути Г. Теория доказательств (ру)(L)(T)(207s).djvu [request] 02-09-2013:01-58

104 005666 Тарский А. Введение в логику и методологию дедуктивных наук (ИЛ, 1948)(ru)(L)(T)(163s).djvu [request] 02-09-2013:01-58

105 005667 Tarsky A. Undecidable theories (1971)(400dpi)(T)(105s)_MAml_.djvu [request] 02-09-2013:01-58

106 005668 Таванец П.В. (ред.) Философские вопросы современной формальной логики (Институт философии АН СССР, 1962)(ru)(L)(T)(183s)_MAml_.djvu [request] 02-09-2013:01-58

107 005669 Таванец П.В. (ред.) Проблемы логики (Институт философии АН СССР, 1963)(ru)(T)(77s)_MAml_.djvu [request] 02-09-2013:01-58

108 005670 Таванец П.В., и др. Философские вопросы современной формальной логики (1962)(T)(365s)(ru)(K).djvu [request] 02-09-2013:01-58

109 005671 Turchin V.F. A constructive interpretation of the full set theory (J.Symb.Logic 52, 1987)(600dpi)(T)(30s).djvu [request] 02-09-2013:01-58

110 005672 Успенский В.А. Лекции о вычислимых функциях (ФМЛ,1960)(ru)(T)(491s)_MAml_.djvu [request] 02-09-2013:01-58

111 005673 Wolter F., Wansing H., de Rijke M., Zakharyaschev M. (eds.) Advances in modal logic, vol.3 (WS, 2002)(T)(415s).djvu [request] 02-09-2013:01-58

112 005674 Харин Н.Н. Математическая логика и теория множеств (1963)(ru)(L)(T)(97s)_MAml_.djvu [request] 02-09-2013:01-58

113 005675 Харин Н.Н. Математическая логика и теория множеств (Росвузиздат, 1963)(T)(192s)(ru)(K).djvu [request] 02-09-2013:01-58

114 005676 Зиновэв А.А. Логическая физика (Наука, 1972)(ru)(T)(194s).djvu [request] 02-09-2013:01-58