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

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

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

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

Пошук :

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

Довідка :

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

Електронний каталог : Kalmár, László - Az eldöntésprobléma visszavezetése logikai formulák véges halmazon való kielégíthetőségének kérdé...

Kalmár, László - Az eldöntésprobléma visszavezetése logikai formulák véges halmazon való kielégíthetőségének kérdé...

Az eldöntésprobléma visszavezetése logikai formulák véges halmazon való kielégíthetőségének kérdé...
Недоступно
 0 из 1
Книга
Автор: Kalmár, László
Az eldöntésprobléma visszavezetése logikai formulák véges halmazon való kielégíthetőségének kérdé... : [отдельный оттиск]
Приведение проблемы разрешимости к вопросу выполнимости логических формул на конечных классах
Видавництво: Akadémiai Kiadó, 1951 г.
ISBN відсутній

(UA) Книга
Xін 1130
870363 Главный филиал

Kalmár, László.
Az eldöntésprobléma visszavezetése logikai formulák véges halmazon való kielégíthetőségének kérdésére = Приведение проблемы разрешимости к вопросу выполнимости логических формул на конечных классах : [отдельный оттиск] / László Kalmár.– Budapest : Akadémiai Kiadó, 1951.– C. 163-190
Оттиск из журнала: Az első magyar matematikai kongresszus közlémenyel = Сообщения первого конгресса венгерских математиков = Comptes rendus du premier congrès des mathématiciens hongrois . – На рус., венг. яз.

УДК 510.6(02)=511.14

-- 1. Математика, вища – Збірники.



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