The algebraic treatment of the methodology of elementary deductive systems
philosophy and foundations of mathematics
scientific article; zbMATH DE number 3114389