Classical and fuzzy concepts in mathematical logic and applications, professional version. (2020)