Advanced Logic for Applications by Richard E. Grandy | Menrva Books