Бази даних


Книжкові видання та компакт-диски - результати пошуку


Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"

Вид пошуку
у знайденому
Сортувати знайдені документи за:
авторомназвоюроком виданнявидом документа
 Знайдено в інших БД:Журнали та продовжувані видання (5)Автореферати дисертацій (1)Реферативна база даних (33)
Пошуковий запит: (<.>U=В121$<.>)
Загальна кількість знайдених документів : 95
Представлено документи з 1 до 20
...
1.
Глушков В. М./В53/1
   Church, Alonzo
Introduction to mathematical logic [Text] / by Alonzo Church. - Princeton, New Jersey : Princeton univ. press, 1956 .
Vol. 1. - 1956. - IX, 376 p. - (Princeton mathematical series ; № 17)

Рубрикатор НБУВ:
 В121 
Тематичні рубрики:


Видання зберігається у :
Основний фонд

2.
Глушков В. М./В31/1
   Чёрч, А.
Введение в математическую логику [Текст] / А. Чёрч. - М. : Изд-во иностр. лит., 1960 .
Т. 1 / пер. с англ. В. С. Чернявского ; под ред. В. А. Успенского. - 1960. - 485 с. : табл. - Пер. изд. : Introduction to mathematical logic / Alonzo Church. - New Jersey, 1956

Рубрикатор НБУВ:
 В121 
Тематичні рубрики:


Дод. точки доступу:
Успенский, В. А. (ред.); Чернявский, В. С. (пер.); Church, Alonzo

Видання зберігається у :
Основний фонд

3.
Глушков В.М./В48/5
   Глушков, Виктор Михайлович
Цикл лекций "Основы математической логики" на научно-техническом семинаре "Математический аппатат кибернетики" [Текст] / Акад. Глушков В. М. ; Киев. Дом науч.-техн. пропаганды. - К. : [б. и.], [19--?] .
Лекция 5 : Теорема о функциональной полноте (ослабленная). - 1961. - 26 с. - 1000 прим.

Рубрикатор НБУВ:
 В121 
Тематичні рубрики:


Дод. точки доступу:
Киевский Дом научно-технической пропаганды

Видання зберігається у :
Основний фонд

4.
Глушков В.М./ВА177
Гудстейн, Р. Л.
Математическая логика [Текст] / Р. Л. Гудстейн ; пер. с англ. В. С. Чернявского ; под ред. и с предисл. С. А. Яновской. - М. : Изд-во иностр. лит., 1961. - 161 с. - (Библиотека сборника "Математика"). - Пер. изд. : Mathematical logic / R. L. Goodstein. - 1957
Парал. тит. арк. англ.

Рубрикатор НБУВ:
Тематичні рубрики:


Дод. точки доступу:
Чернявский, В. С. (пер.); Яновская, С. А. (ред., авт. предисл.); Goodstein, R. L.

Видання зберігається у :
Основний фонд

5.
Глушков В.М./ВА192
Калужнин, Лев Аркадьевич.
Что такое математическая логика? [Текст] / Л. А. Калужнин. - М. : Наука, 1964. - 152 с. : рис. - Библиогр.: с. 149-150. - 42 000 прим.
З дарчим написом В. М. Глушкову від авт.

Рубрикатор НБУВ:
Тематичні рубрики:


Видання зберігається у :
Основний фонд

6.
Глушков В.М./ВА902
Стяжкин, Николай Иванович.
Становление идей математической логики [Текст] / Н. И. Стяжкин ; АН СССР, Ин-т философии. - М. : Наука, 1964. - 204 с. - Бібліогр.: с. 277-298. - 4000 прим.

Рубрикатор НБУВ:
Тематичні рубрики:

Географічні рубрики:


Дод. точки доступу:
Академия наук СССР; Институт философии

Видання зберігається у :
Основний фонд

7.
Глушков В.М./ВА1041
Столяр, Абрам Аронович.
Элементарное введение в математическую логику [Текст] : пособ. для учителей / А. А. Столяр. - М : Просвещение, 1965. - 163 с. : рис., табл. - Бібліогр.: с. 162. - 25000 прим.

Рубрикатор НБУВ:
 В121 
Тематичні рубрики:


Видання зберігається у :
Основний фонд

8.
Глушков В.М./ВА941
Карри, Хаскелл Б..
Основания математической логики [Текст] / Хаскелл Б. Карри ; пер. с англ. В. В. Донченко ; под ред. Ю. А. Гастева. - М. : Мир, 1969. - 568 с. : рис. - Бібліогр.: с. 518-547. - Пер. изд. : Foundations of mathematical logic / Haskell B. Curry. - New York [a. o.], 1963

Рубрикатор НБУВ:
 В121 
Тематичні рубрики:


Дод. точки доступу:
Донченко, В. В. (пер.); Гастев, Ю. А. (ред.); Curry, Haskell B.

Видання зберігається у :
Основний фонд

9.
   ТРУДЫ НАУЧНО-ИССЛЕДОВАТЕЛЬСКОГО СЕМИНАРА ЛОГИЧЕСКОГО ЦЕНТРА ИНСТИТУТА ФИЛОСОФИИ РАН.1993. (1994)
10.
В341094/. 2
Логика и компьютер [Текст] / РАН. - М. : Наука. - (Кибернетика - неограниченные возможности и возможные ограничения).
2 : Логические языки, содержательные рассуждения и методы поиска доказательств / отв. ред. В. А. Смирнов. - [Б. м.] : [б.в.], 1995. - 131 с. - ISBN 5-02-006896-9

Рубрикатор НБУВ:
 В121 
Тематичні рубрики:


Дод. точки доступу:
Смирнов, В. А. (отв. ред.); РАН

Видання зберігається у :
Основний фонд

11.
ВА571779
Лавров, Игорь Андреевич.
Задачи по теории множеств, математической логике и теории алгоритмов [Текст] / И. А. Лавров, Л. Л. Максимова. - 3.изд. - М. : Физматлит, 1995. - 255 с. - ISBN 5-02-014844-Х

Рубрикатор НБУВ:
Тематичні рубрики:


Дод. точки доступу:
Максимова, Лариса Львовна

Видання зберігається у :
Основний фонд

12.
ВА575391
Курбатов, В. И..
Логика Логика [Текст] : учеб. пособие для студ. вузов / В. И. Курбатов. - Ростов-на-Дону : Феникс, 1996. - 320 с. - ISBN 5-85880-335-0
Замена ВА575491

Рубрикатор НБУВ:
Тематичні рубрики:


Видання зберігається у :
Основний фонд

13.
ВА570776
Смирнова, Е. Д..
Логика и философия [Текст] / Е. Д. Смирнова. - М. : РОССПЭН, 1996. - 302 с. - (Научная философия). - ISBN 5-86004-039-3

Рубрикатор НБУВ:
Тематичні рубрики:


Видання зберігається у :
Основний фонд

14.
В340074/Ч. 2
Гладунський, Василь Назарович
Логіка [Текст] : навч. посібник для учнів шкіл, гімназій, ліцеїв / В. Н. Гладунський, Г. А. Гладунська. - Львів : Каменяр, 1994 .
Ч. 2. - [Б. м.] : [б.в.], 1996. - 188 с.: іл. - ISBN 5-7745-0571-5

Рубрикатор НБУВ:
Тематичні рубрики:


Дод. точки доступу:
Гладунська, Ганна Андріївна

Видання зберігається у :
Основний фонд

15.
ІВ196231
Urchs, Max....
Klasyczny rachunek zdań [Text] : wykład i zadania. Skrypt dla studentów pierwszego roku / M. Urchs [i i] [i i] ; Uniwersytet Mikołaja Kopernika. - Toruń : [б.в.], 1997. - 91 s. - ISBN 83-231-0858-7

Рубрикатор НБУВ:
Тематичні рубрики:


Дод. точки доступу:
Nasieniewski, Marek; Kwiatkowski, Skarbimir; Uniwersytet Mikołaja Kopernika

Видання зберігається у :

16.
ВА574210
Карамишева, Неллі Василівна.
Збірник логічних завдань [Текст] / Н. В. Карамишева, С. В. Бовтач ; Львівський держ. ун-т ім. Івана Франка. Філософський факультет. - Львів : Каменяр, 1997. - 109 с. - ISBN 5-7745-0721-1

Рубрикатор НБУВ:
Тематичні рубрики:


Дод. точки доступу:
Бовтач, Світлана Володимирівна; Львівський державний університет імені Івана Франка. Філософський факультет

Видання зберігається у :
Основний фонд

17.
ВА648954
Перетятькин, Михаил Георгиевич.
Конечно аксиоматизируемые теории [Текст] / М. Г. Перетятькин. - Новосибирск : Научная книга, 1997. - 318 с.: рис. - (Сибирская школа алгебры и логики). - Библиогр.: с. 309-314. - ISBN 5-88119-010-6

Рубрикатор НБУВ:
Тематичні рубрики:


Видання зберігається у :
Універсальний підсобний фонд
Основний фонд

18.
Österr.bibl./№3682
Stadler, Friedrich.
Studien zum Wiener Kreis [Text] : Ursprung, Entwicklung und Wirkung des logischen Empirismus im Kontext / F. Stadler. - Frankfurt am Main : Suhrkamp, 1997. - 1035 S. - Бібліогр.: s.962-1012. - ISBN 3-518-58207-0

Рубрикатор НБУВ:
Тематичні рубрики:

Географічні рубрики:
  


Видання зберігається у :

19.
ВА586750
   Цюрупа, Михайло Володимирович.
Основні терміни логіки [Текст] : словник / М. В. Цюрупа, І. М. Волошко ; Київський військовий гуманітарний ін-т. - К. : [б.в.], 1997. - 49 с.

Рубрикатор НБУВ:
Тематичні рубрики:


Дод. точки доступу:
Волошко, Іван Михайлович; Київський військовий гуманітарний інститут

Видання зберігається у :
Універсальний підсобний фонд

20.
ВА582571
   Шрамко, Ярослав Владиславович.
Логическое следование и интуиционизм: Проблема релевантизации интуиционистской логики [Текст] / Я. В. Шрамко ; НАН Украины, Ин-т философии. - К. : ВИПОЛ, 1997. - 179 с. - ISBN 5-8238-0511-X

Рубрикатор НБУВ:
Тематичні рубрики:


Дод. точки доступу:
Национальная академия наук Украины; Институт философии (Киев)

Видання зберігається у :
Основний фонд

...
 
Відділ інформаційно-комунікаційних технологій
Пам`ятка користувача

Всі права захищені © Національна бібліотека України імені В. І. Вернадського