Title: Mathematical Logic : Written by Stephen Cole Kleene, 2003 Edition,  Publisher