Основи математики та математична логіка
Підтеми:
Документи:
- Теория доказательств [Текст] / Г. Такеути. — Москва : Мир, 1978. — 413 с.
- Теория множеств и функций. Математическая логика и алгебра [Текст] : избранные труды / Академия наук СССР, Отделение математики; Математический институт им. В. А. Стеклова; редкол.: А. Н. Колмогоров (гл. ред.). — Москва : Наука, 1979. — 396 с.
- Теория моделей и ее применения [Текст] : сборник научных трудов / АН СССР, Сибирское отделение; отв. ред.: Ершов Ю. Л. — Новосибирск : Наука, 1988. — 182 с.
- Теория моделей [Текст] / Г.Д. Кейслер. — М, 1977. — 614с.
- Теория насыщенных моделей. [Текст] / Дж.Е. Сакс. — Москва : Мир, 1976. — 190 с.
- Теория трансдьюсеров [Текст] / Л.П. Лисовик. — Киев : Феникс, 2006. — 320с.
- Теория трансдьюсеров [Текст] / Л.П. Лисовик. — Киев : Феникс, 2006. — 352с.
- Теория трансдьюсеров [Текст] / Л.П. Лисовик. — Киев : Феникс, 2005. — 262с.
- Теория трансдьюсеров [Текст] / Л.П. Лисовик. — Киев : Феникс, 2005. — 272с.
- Теория трансдьюсеров [Текст] / Л.П. Лисовик. — Киев : Фенікс, 2005. — 272с.
- Теория формальных систем [Текст] / Р.М. Смальян. — Москва, 1981. — 207 с.
- Теорія алгоритмів [Текст] : навч. посіб. для студентів вищ. навч. закл. / М-во освіти і науки України. — Київ : Ліра-К, 2014. — 340 с.
- Топосы. Категорный анализ логики. [Текст] = Topol The categorial analysis of logic / перевод с англ.: Гришина В. Н., Шокурова В. В.; под ред.: Бочвара Д. А. — Москва : Мир, 1983. — 488 с. : ил.
- Универсальная алгебра, алгебраическая логика и базы данных [Текст] / Б.И. Плоткин. — Москва : Наука, 1991. — 448с.
- Установление выводимости в конструктивном исчислении высказываний путем учета глубинных зацеплений [Текст] : Автореф... канд. физ.-мат.наук: 007 / Голота Я.Я.; АН СССР. Мат. ин-т им. А.В.Стеклова. Ленингр. отд-ние. — Л., 1971. — 16л.
- Физико-химическое исследование системы [Текст] : Автореф... канд. хим.наук: 02.00.01 / Рустамов А.Г.оглы;. — Свердловск, 1975. — 21л.
- Формалізація моделі "сутність-зв"язок" [Текст] : монографія / Д.Б. Буй, Л.М. Сільвейструк ; КНУТШ. — Київ : Київський університет, 2011. — 175, [1] с. : іл., табл.
- Формальные языки и трансдьюсеры [Текст] / Л.П. Лисовик. — Киев : Феникс, 2006. — 400 с.
- Формирование логической грамотности учащихся 1-5 классов в процессе обучения математике [Текст] : Автореф... канд. пед.наук: 13.00.02 / Маланюк Екатерина Павловна; Науч.-исслед. ин-т пед. УССР. — К., 1979. — 24л.
- Форсинг в теории моделей и категорические теории. [Текст] : Автореф... канд. физ.-мат.наук: 01.01.06 / Чихачев С.А.;. — Новосибирск, 1978. — 8л.
- Функции алгебры логики и классы Поста [Текст] / С.В. Яблонский. — Москва, 1966. — 119 с.
- Частотное вычислениен функций и частотное перечисление множеств [Текст] : Автореф... канд. физ.-мат.наук: 01.01.06 / Кинбер Е.Б.; АН СССР. Мат. ин-т им. В.А.Стеклова (Ленингр. отд-ние). — Л., 1975. — 14л.
- Числа и фигуры. Опыты математического мышления [Текст] / перевод с нем.: Контовта В. И. — 4-е изд., стереотип.. — Москва : Наука, 1966. — 264 с. : ил.
- Числа и фигуры. Опыты математического мышления [Текст] / перевод с нем.: Контовт В. И. — 2-е изд.. — Москва : ОНТИ, 1938. — 231 с.
- Числовые системы. Основания алгебры и анализа. [Текст] / С. Феферман. — Москва : Наука, 1971. — 440с.
- Число и мысль [Текст] / Д.Б. Юдин, А.Д. Юдин. — Москва : Знание, 1985. — 191с.
- Чисто корректные модули и Абелевы группы [Текст] : Автореф... канд. физ.-мат.наук: 01.01.06 / Росошек Семен Константинович; АН Молд.ССР. Ин-т математики. — Кишинев, 1979. — 8л.
- Что такое математическая логика? [Текст] / Л.А. Калужнин. — Москва, 1964. — 152 с.
- Что такое нестандартный анализ? [Текст] / В.А. Успенский. — Москва : Наука, 1987. — 128 с.
- Язык логики [Текст] / Х. Фрейденталь. — Москва, 1969. — 136 с.
- Acta Universitatis Wratislaviensis [Текст]. — Wroclaw : Wydaw. Uniw. Wroclawskiego, 2010. — N 3238 : On modal systems in the neighbourhood of the brouwer logic / Z. Kostrzycka.
- Acta Universitatis Wratislaviensis [Текст]. — Wroclaw : Wyd-wo Uniwersytetu Wroclawskiego, 2005. — N 2733.
- Acta Universitatis Wratislaviensis. [Текст]. — Wroclaw : Wyd-wo Uniwersytetu Wroclawskiego, 2008. — N 3083 : Pragmatyczno-logiczne aspekty pojecia prawdy : Esej z logiki filozoficznej / M. Magdziak.
- Algebraic systems [Текст] / A.I.Malcev; Transl. from the Russian by B.Seckler a.o. — Berlin : Acad.-Verl., 1973. — 319p. : 25 figures.
- Calculus [Текст] : [навчальний посібник]. — [7-е вид.]. — [Тегеран : Новатори, лідери, 2005?]. — [656] c. : іл., табл.
- Einfuhrung in die mathematische Logik [Текст] / Gunter Asser. — Leipzig : B.G.Teubner Verlagsgesellschaft, 1975. — IV, 190 S.
- Einfuhrung in die mathematische Logik [Текст] / Gunter Asser. — Leipzig : B.G.Teubner Verlagsgesellschaft, 1972. — 190 S.
- Einfuhrung in die mathematische Logik [Текст] / G. Asser. — 4.unverand. Aufl . — Leipzig : B.G.Teubner Verlagsgesellschaft, 1972. — 185 s. : Ill.
- Elementy logiki i teorii mnogosci w zadaniach [Текст] / Wiktor Marek, Janusz Onyszekiewicz. — 2-e wyd. — Warszawa : PWN, 1975. — 274s.
- Essais sur les logiques non chrisipiennes [Текст] / Gr. C.Moisil. — Bucarest : Ed.de L"Acad. de la RSR, 1972. — 820p.
- Filozofia si fundamentale matematicii [Текст] / M. Turlea. — Bucuresti : Acad. RSR, 1982. — 264 p.
- First order categorical logic [Текст] / Michael Makkai, Gonzalo Reyes. — Berlin a.o. : Springer, 1977. — 301p.
- Grundgriffe der Mengenlehre und Logik [Текст] / Maria Hasse. — 3. erw. Aufl. — Leipzig : Teubner, 1967. — 86 S. : 7 Abb.
- Grundgriffe der Mengenlehre und Logik [Текст] / Maria Hasse. — 6. Ausg. — Leipzig : Teubner Verlagsgesellschaft, 1974. — 86 S.
- Grundkurs Analysis [Текст] : Gunther. Beyer. Gottwald. Wunsch / Hrsg. P. Gunther. — Leipzig : B.G.Teubner Verlagsgesellschaft, 1973. — 224 S.
- Investigations in logic, language and computation [Текст] = Research op de raakvlakken van logica, taal en berekening : Academisch proefschrift ter verkrijging van de graad van doctor aan de Universiteit Utrecht / Aarts Henricus Marinus Franciscus Maria; Universiteit van Amsterdam, Institute for logic, language and computation. — Amsterdam : [S. n.], 1995. — 133 p.
- IV всесоюзная конференция "Применение методов математической логики" [Текст] : тезисы докладов / Ин-т кибернетики АН ЭстССР. — Таллин, 1986. — 197 с.
- Logica en model [Текст] / Doede Nauta. — Amsterdam : Wetenschappelijke uitgeverij, 1974. — 288 blz.
- Logica matematica [Текст] / Trad. del ruso por M.A.Andrianova. — Moscu : Mir, 1990. — 278 p.
- Logic colloquium `96 [Текст] : Proceedings of the Colloquium held in San Sebastian, Spain, July 9-15, 1996 / Eds.Larrazabal J.M., Lascar D., Mints G. — Berlin : Springer, 1998. — 261p.
1
2
3
4
5
6
7
8
|
