Зведений каталог бібліотек Києва

 
Пошук Відібрані Опис документа
Початкова сторінка Сайт УФД

В1
И889    Исследования по неклассическим логикам и формальным системам [Текст] : сборник / Государственный комитет СМ СССР по науке и технике, АН СССР, Всесоюзный институт научной и технической информации; отв. ред.: Михайлов А. И. — Москва : Наука, 1983. — 360 с. : ил.

- Ключові слова:

логіка математична, логика математическая ; теорія множин, теория множеств

- Анотація:

В сборнике рассматриваются синтаксические и сематические аспекты неклассических логик, а также некоторые вопросы аксиоматической теории множеств.

- Теми документа

  • ББК науковий // Основи математики та математична логіка
  • ББК науковий // Теорія множин



Наявність
Установа Кількість Документ на сайті установи
Науково-технічна бібліотека Національного авіаційного університету 2 Перейти на сайт