Проблемы логики (АН СССР, 1963)