Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version