 Brouwer, Luitzen Egbertus Jan |  logic, history of: intuitionistic logic |  logic: intuitionistic |  mathematics, philosophy of |  mathematics, philosophy of: intuitionism |  set theory: constructive and intuitionistic ZF |  type theory: intuitionistic 