Leon Albert Henkin was an American logician, whose works played a strong role in the development of logic, particularly in the theory of types. He was an active scholar at the University of California

María Gracia Manzano Arjona is a Spanish philosopher specializing in mathematical logic and model theory.