Mathematical Logic : Written by Stephen Cole Kleene, 2003 Edition,  Publisher
Subtitle: Dover Publications Inc. [Paperback]