Conjunction (astronomy)
Normalization (sociology)
Intersection (aeronautics)
Normalization property
Simple (philosophy)
Mathematics
Property (philosophy)
Intuitionistic logic
Curry–Howard correspondence
Logical framework
Fragment (logic)
Computer science
Discrete mathematics
Algorithm
Natural deduction
Propositional calculus
Programming language
Engineering
Aerospace engineering
Philosophy
Physics
Epistemology
Astronomy
Sociology
Anthropology
