Oulie
Logic, Language, Information, and Computation by Dexter Kozen — Oulie