Mathematical Logic, Paperback/Stephen Cole Kleene