Marian Boykan Pour-El (April 29, 1928 – June 10, 2009)[1] was an American mathematical logician who did pioneering work in computable analysis.
nams