Copi, Irving. Symbolic Logic