Таванец П.В. (ред.) Логическая структура научного знания

М.: Наука, 1965. — 252 с.Формализованные языки и логическая форма
О некоторых семантических понятиях для простых языков
Роль семиотики в кибернетическом исследовании человека и коллектива
О взгляде Г.Фреге на роль знаком и исчисления в познании
О природе эмпирического знания
Об основных понятиях и принципах логики науки
Опыт построения исчисления предикатов, приближенного к естественному языку
Логические системы с формулами - аналогами записей о выводимости
Вычисления в булевых пространствах
Формальная система элементарной механики
О логике физики микромира