Model theory and arithmetic by Kenneth McAloon | Menrva Books | MenrvaBooks