 logic, history of: intuitionistic logic |  logic: intuitionistic |  mathematics, philosophy of: intuitionism |  mathematics: constructive |  proof theory: development of |  semantics: Montague |  semantics: proof-theoretic |  set theory |  set theory: constructive and intuitionistic ZF |  set theory: Zermelo’s axiomatization of |  type theory |  type theory: Church’s type theory 