Biographical
Montague, Richard Merett (1930–71)
Richard Montague was a logician, philosopher and mathematician. His mathematical contributions include work in Boolean algebra, model theory, proof theory, recursion theory, axiomatic set theory and higher-order logic. ...