Logics of Programs by Dexter Kozen | Menrva Books | MenrvaBooks