philosophy and foundations of mathematics
The Problem of Simplifying Truth Functions
scientific article; zbMATH DE number 3075780