The Theory Of Logical Types by Irving M. Copi