Categorical Logic And Type Theory by B. Jacobs | Menrva Books | MenrvaBooks