First-order logic revisited by VINCENT F. HENDRICKS | Menrva Books | MenrvaBooks