First-order Logic by Per Lindström | Menrva Books | MenrvaBooks