Одеська національна наукова бібліотека

Повернутися до сайту ОННБ
Бібліотека працює:
понеділок, вівторок, середа, четвер, субота і неділя – з 10.00 до 18.00
Вихідний день – п’ятниця. Останній четвер місяця – санітарний день

Електронний каталог

Відображає документи,
що надійшли до бібліотеки з 2001 р.

Пошук :

  • Нові надходження
  • Простий пошук
  • Автори
  • Видавництва
  • Серії
  • Тезауруси
  • Індекси УДК

Довідка :

  • Як освоїти пошук в ЕК
  • Приклади оформлення бланка вимоги
  • Перелік наукових спеціальностей
  • Скорочені таблиці УДК українською мовою на веб-сайті UDCS

Електронний каталог : Книги у рубриці: Логіка, математична

Рубрики
--> Логіка, математична

Рубрика

Назва:
 
Логіка, математична  

Друк списку

Зв'язані описи:

Відобразити для друку: сторінку | інверсія | сброс | друк(0)

Contributions to the reduction theory of the decision problem
Недоступно
 0 из 1
Книга
Kalmár, László
Contributions to the reduction theory of the decision problem: Third paper Prefix (x1)(Ex2)...(Exn−2)(xn−1)(xn), a single binary predicate
Akadémiai Kiadó, 1951 г.
ISBN відсутній


Aussagenkalkül
Недоступно
 0 из 1
Книга

Teil 1: Aussagenkalkül
Серія: Mathematisch-naturwissenschaftliche Bibliothek
B.G. Teubner, 1959 г.
ISBN відсутній


Grundbegriffe der Mengenlehre und Logik
Недоступно
 0 из 1
Книга
Hasse, Maria
Grundbegriffe der Mengenlehre und Logik
Серія: Mathematische Schülerbücherei
B.G. Teubner, 1967 г.
ISBN відсутній


Implication, endometry, universe of discourse
Недоступно
 0 из 1
Книга
Spisani, Franco
Implication, endometry, universe of discourse
Implicazione, endometria, universo del discorso
International Logic Review, 1977 г.
ISBN відсутній


Logika matematyczna
Недоступно
 0 из 1
Книга
Quine, Willard Van Orman
Logika matematyczna
Państ. wyd. nauk., 1974 г.
ISBN відсутній


До принципів і законів квантової логіки
Недоступно
 0 из 1
Книга
Роженко М. М.
До принципів і законів квантової логіки
[б.в.], 2006 г.
ISBN відсутній


Конструктивная теория доказательств и нестандартный анализ
Недоступно
 0 из 1
Книга
Драгалин Альберт Григорьевич
Конструктивная теория доказательств и нестандартный анализ
Едиториал УРСС, 2003 г.
ISBN 5-354-00387-3


Логика и множества
Недоступно
 0 из 1
Книга
Локшин Александр Александрович
Логика и множества
Вузовская книга, 2002 г.
ISBN 5-9502-0032-2


Логико-философское введение в высшую математику
Недоступно
 0 из 3
Книга
Зыков Александр Александрович
Логико-философское введение в высшую математику: учебное пособие
Астропринт, 2008 г.
ISBN 966-318-093-5


Ложика математикэ ши математика дискретэ
Недоступно
 0 из 1
Книга
Присакару, К. Ф.
Ложика математикэ ши математика дискретэ: материал дидактик
[б.и.], 1981 г.
ISBN відсутній


Многоцветная логика
Недоступно
 0 из 1
Книга
Бизам Д.
Многоцветная логика: 175 логических задач
Мир, 1978 г.
ISBN відсутній


.
Недоступно
 0 из 1
Книга
Харченко Володимир Миколайович
Ч. 1: .
2006 г.
ISBN відсутній


Теорема Гёделя о неполноте
Недоступно
 0 из 1
Книга
Успенский, Владимир Андреевич
Теорема Гёделя о неполноте: [брошюра]
Серія: Популярные лекции по математике
Наука, 1982 г.
ISBN відсутній


Главы 13-17. Книга 3. Алгебра и автоматы. II
Недоступно
 0 из 2
Книга
Лисовик Леонид Петрович
Т. 1: Главы 13-17. Книга 3. Алгебра и автоматы. II
2005 г.
ISBN 966-651-250-5


Главы 1-4. Книга 1. Типы языков и машин
Недоступно
 0 из 2
Книга
Лисовик Леонид Петрович
Т. 1: Главы 1-4. Книга 1. Типы языков и машин
2005 г.
ISBN 966-651-251-3


Книга 4. Размеченные деревья
Недоступно
 0 из 1
Книга
Лисовик Леонид Петрович
Т. 2: Книга 4. Размеченные деревья
2006 г.
ISBN 966-651-393-5


Трансдьюсеры. І
Недоступно
 0 из 1
Книга
Лисовик Леонид Петрович
Трансдьюсеры. І
Феникс, 2006 г.
ISBN 966-651-340-4


© Одеська національна наукова бібліотека 2012—2025