Математична логіка
Документи:
- Прикладна логіка [Текст] : навч. посібник / М.С. Нікітченко, С.С. Шкільняк ; М-во освіти і науки України, Київ. нац. ун-т ім. Тараса Шевченка. — Київ : Київський університет, 2013. — 277, [1] с.
- Программы педагогических институтов. Математическая логика [Текст] / Гл. упр. высш. и средн. пед. учеб. заведений М-ва просвещения РСФСР. — Москва : Учпедгиз, 1958. — 4 с.
- Реализация функций алгебры логики методом какадов [Текст] : Автореф... канд. физ. мат.наук: / Денев И. Д.; МГУ, Мех. мат. фак., Каф. мат. логики. — Москва, 1971. — 10л.
- Сборник задач по математикой логике и алгебре множеств [Текст]. — Саратов, 1965. — 88с.
- Спектр логік часткових предикатів, орієнтованих на композиційно-номінативні моделі програм [Текст] : автореф. дис. ... д-ра фіз.- мат. наук : 01.05.01 / Шкільняк С.С. ; КНУТШ. — Київ, 2010. — 32 с.
- Спектр логік часткових предикатів, орієнтованих на композиційно-номінативні моделі програм [Текст] : дис. ... д-ра фіз.-мат. наук : 01.05.01 / Шкільняк С.С. ; КНУТШ. — Київ, 2010. — 347л. + Додаток : л.310-347.
- Становление идей математической логики [Текст] / Н.И. Стяжкин. — Москва, 1964. — 304 с.
- Теория алгорифмов и математическая логика [Текст] / Кушнер Б.А., Нагорный Н.М. — Москва, 1974. — 216 с.
- Теория доказательств [Текст] / Г. Такеути. — Москва : Мир, 1978. — 413 с.
- Что такое математическая логика [Текст] / Л.А. Калужнин. — Киев, 1961. — 40 с.
- Что такое математическая логика? [Текст] / Л.А. Калужнин. — Москва, 1964. — 152 с.
- Algebraic relativization and arrow logic [Текст] : Academisch proefschrift ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam / Universiteit van Amsterdam, Institute for logic, language and computation. — Amsterdam, 1995. — VII,168p.
- Chapters on bounded arithmetic and on provability logic [Текст] : Academisch proefschrift ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam... / D. Zambella; Universiteit van Amsterdam, Institute for logic, language and computation. — Amsterdam : [S. n.], 1994. — 77 p.
- Computations in propositional logic [Текст] : Academisch proefschrift ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam / A. Hendriks; Universiteit van Amsterdam, Institute for logic, language and computation. — Amsterdam : [S. n.], 1996. — V1, 188 p.
- Extending modal logic [Текст] : Academisch proefschrift ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam... / M. de Rijke; Universiteit van Amsterdam, Institute for logic, language and computation. — Amsterdam : [S. n.], 1993. — VIII, 181 S.
- Investigating bounded contraction [Текст] : Academisch proefschrift ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam... / A. Prijatelj; Universiteit van Amsterdam, Institute for logic, language and computation. — Amsterdam : [S. n.], 1995. — 111, [2] p.
- Logics for agents with bounded rationality [Текст] : Academisch proefschrift ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam... / Z. Huang; Universiteit van Amsterdam, Institut for logic, language and computation. — Amsterdam : [S. n.], 1994. — VIII, 216 p.
- Modal quantifiers [Текст] : Academisch proefschrift ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam... / N.A. Alechina; Universiteit van Amsterdam, Institute for logic, language and computation. — Amsterdam : [S. n.], 1995. — VI, 126 p.
- Proceedings of the Conference "Algebra and logic", Sarajevo, 1987 [Текст] / Institute of Mathematics, University of Novi Sad. — Novi Sad, 1989. — 182 p.
- Proceedings of the conference on algebra [Текст] / Conference on algebra. — 1986. — 95 p.
- Proceedings of the ninth Amsterdam colloquium [Текст] : December 14-17,1993 / Universiteit van Amsterdam, Institute for logic, language and computation; Eds. P. Dekker, M. Stokhof. — Amsterdam : [S. n.], 1993. — VII, 247 p.
- Reports on mathematical logic [Текст]. — Krakow : Jagiellonian university press, 1996. — N 30.
- Reports on mathematical logic [Текст]. — Krakow : Jagiellonian University Press, 1998. — No. 32.
- Taming logics [Текст] : Academisch proefschrift ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam / S. Mikulas; Universiteit van Amsterdam, Institute for logic, language and computation. — Amsterdam : [S. n.], 1995. — VII, 123, [3] p.
- The foundations of causal decision theory [Текст] / James Joyce. — Cambridge : Cambridge university press, 1999. — X,268p.
1
2
|
