Пошуковий запит: (<.>U=В121$<.>) |
Загальна кількість знайдених документів : 5
Представлено документи з 1 до 5
|
1. | Ж66583/1996/30 Институт математики им. С.Л.Соболева СО РАН Труды Института математики им. С.Л.Соболева СО РАН. 1996, Т.30:Вопросы алгебры и логики [Текст] / ред. Ю. Ершов, В. Мазуров. - Новосибирск : [б.в.], 1996. - 192 с. (Труды Института математики им. С.Л.Соболева СО РАН, ISSN 0208-0060 ; 1996, Т.30)
|
2. | Ж69501 Логика и компьютер [Текст] / РАН Сер: "Кибернетика: неограниченные возможности и возможные ограничения". - Журнал виходить з 1963р.
|
3. | Ж36664/1999/2180 Wrocław. Uniwersytet Acta Universitatis Wratislaviensis. 1999, N.2180:Logika. T.19 [Текст] / red. J. Hawranek. - Wrocław : Wyd-wo Uniw. Wrocławskiego, 1999. - 100 s. - (Logika ; t.19) (Acta Universitatis Wratislaviensis, ISSN 0239-6661 ; 1999, N.2180)
|
4. | Ж36664/1999/2190 Skura T.Wrocław. Uniwersytet Acta Universitatis Wratislaviensis. № 2190:Aspects of refutation procedures in the intuitionistic logic and related modal systems [Текст] / T. Skura. - Wrocław : Wydaw. Uniw. Wrocławskiego, 1999. - 84 p. - (Logika ; t.20) (Acta Universitatis Wratislaviensis, ISSN 0239-6661 ; № 2190)
|
5. | Ж38067/2007/2554 Dzik W.Katowice. Uniwersytet Śląski Prace naukowe Uniwersytetu Śląskiego w Katowicach. 2007, N.2554:Unification types in logic [Текст] / W. Dzik. - Katowice : WUS, 2007. - 192 p. (Prace naukowe Uniwersytetu Śląskiego w Katowicach, ISSN 0208-6336 ; 2007, N.2554)
|