Bounded variable logics and counting by Martin Otto | Menrva Books | MenrvaBooks