A Tribute to Marian Boykan Pour-El (1928-2009). - I. Pour-El; Ning Zhong 002 (J. Log. Comput., 2015)