Mathematical Logic, by Stephen Cole Kleene