~ tracking down this book ~
Mathematical Logic by Stephen Cole Kleene — OmList