Two Books of Logical Institutions — Franco Burgersdijk