Logic and computational complexity by Daniel Leivant | Menrva Books | MenrvaBooks