Перейти к содержимому 
QR-код документа
510
Исследования по неклассическим логикам и формальным системам / Под ред. Михайлов А.И.; АН СССР.Всесоюз.ин-т науч.и техн.информ. - М. : Наука, 1983. - 360 c.
| УДК | 510 |
Кл.слова (ненормированные):
интуиционистские теории -- неклассические логики -- логики многозначные -- теория логик аксиоматическая -- теория множеств аксиоматическая -- формальные системы -- математика -- логики модальные
Доп.точки доступа:
Михайлов, А. И. \ред.\
Академия наук СССР. Всесоюзный институт научной и технической информации
Свободных экз. нет