517 И 889 Исследования по неклассическим логикам и теории множеств / Академия наук СССР, Государственный Комитет Совета Министров СССР по науке и технике, ; Академия наук СССР, Государственный Комитет Совета Министров СССР по науке и технике, . - Москва : Наука, 1979. - 346 с. - Библиогр. в конце ст. - 2.10 р., 2.10 р.
Кл.слова (ненормированные): ТЕОРИЯ МНОЖЕСТВ -- ФОРМАЛЬНЫЕ ЯЗЫКИ -- ЛОГИКА (ИНТУИЦИОНИСТСКАЯ) -- ЛОГИКИ (МОДАЛЬНЫЕ) -- ЛОГИКИ (МНОГОЗНАЧНЫЕ) Доп.точки доступа: Михайлов, А. И. \ред.\; Академия наук СССРГосударственный Комитет Совета Министров СССР по науке и технике Экземпляры всего: 2 АБН (1), Х (1) Свободны: АБН (1), Х (1) |
517 И 889 Исследования по неклассическим логикам и формальным системам / Государственный Комитет Совета Министров СССР по науке и технике, Академия наук СССР, Всесоюзный институт научной и технической информации ; ред. А. И. Михайлов. - Москва : Наука, 1983. - 360 с. - 2.00 р., 2.00 р.
Кл.слова (ненормированные): НЕКЛАССИЧЕСКИЕ ЛОГИКИ -- ТЕОРИЯ МНОЖЕСТВ -- СИСТЕМЫ (ФОРМАЛЬНЫЕ) -- ИНТУИЦИОНИСТСКИЕ (ТЕОРИИ) -- ИНТУИЦИОНИСТСКИЕ (МОДЕЛИ) -- ЛОГИКИ (МОДАЛЬНЫЕ) -- ЛОГИКИ (МНОГОЗНАЧНЫЕ) Доп.точки доступа: Михайлов, А. И. \ред.\; Государственный Комитет Совета Министров СССР по науке и техникеАкадемия наук СССР; Всесоюзный институт научной и технической информации Экземпляры всего: 2 АБН (1), Х (1) Свободны: АБН (1), Х (1) |