Исследования по формализованным языкам и неклассическим логикам.
Академия наук СССР. Государственный комитет Совета министров СССР по науке и технике. Всесоюзный институт научной и технической информации. Ответственный редактор Д.Бочвар.

1974, изд-во: Наука, город: Москва, стр. : 276 стр., обложка: Мягкая издательская обложка., формат: Слегка увеличенный., состояние: Отличное. . Сборник содержит статьи по формальным системам без типовых иерархий, основаниям математической логики и теории множеств. Тематика статей сборника включает исследования некоторых неклассических логик и их применения к проблемам теории множеств и основ интуиционистического анализа, а также построения языков, основанных на некоторых представлениях рекурсивных функций. Тираж книги 3900 экз.