A set of postulates for the foundation of logic
philosophy of mathematics, exact natural sciences
scientific article; zbMATH DE number 3004612