Many-valued logic - Rescher, Nicholas (McGraw-Hill, 1969)