Kleene, S.C.: Mathematical Logic | NiceBooksReads